java: make oracle JDK the default