Travis JDK Version

Previously, the Travis configuration pointed at the wrong version of
the JDK.  This change fixes that problem.