Fix travis JDK