Specified travis jdk