specify jdk for travis