Fix travis jdk option