Making OpenJDK default