java-17-openjdk deliberately produces Java 17 bytecode, not the default Java 11 bytecode Resolves: rhbz#2023540