Use Oracle JDK instead of OpenJDK in Travis CI jobs.