Updates

New features when upgrading from Java 11 to Java 17