Oracle JDK

Previously, this build fails on Travis CI using OpenJDK.  This change
makes the build use Oracle's JDK instead.
Merge branch 'oracle-jdk'