Small changes in Java 22 to 25

A summary of interesting small changes in the Java standard library and the language in Java 22 to 25.