Using correct Java version for Travis