Java dev. Java 17. effective java.