We should move the operators to Java 17 as the language level:

• Make the build work with Java 17
• Update the pipelines to use Java 17
• Use Java 17 as the language level

Once this is done, we can start using Java 17 features either as part of refactorings or as part of newly developed features.