(231+) Move to Java 17

Starting with API 2022.2, IDEs will use Java 17 instead of Java 11. I should move to Java 17 as well then. Based on the current backwards compatibility schedule of Randomness, 2022.2 will be the oldest supported version once 2023.1 is released, which is probably around April 2023?