Changed Travis JDK setting