Well, after a rather slow start, 2023 can finally be considered to have officially begun - both JEPs and Java mailing lists have awakened from their winter sleep.