Travis to use jdk8