I know, I know, it doesn't really matter, but for the very curious among you, "corretto" might refer to "Caffè Corretto", an Italian flavor of espresso coffee with alcohol added to it. The origin of "corretto" in that sense are really interesting [0]. [0]: https://punchdrink.com/articles/brief-history-italian-caffe-...
And so it does, at least that's what James Gosling said when he announced Corretto at Devoxx back in 2018.