Correct JDK versions used with Travis-CI.