[fedora-java] Re: Java 11 as default Java in Fedora?