Specifie jdk version in travis-ci config