Travis Java 8

Previously, the change for Travis to use JDK 8 used the wrong name of
the JDK.  This change fixes it.