specifying jdk version in .travis.yml