Do you know for a fact travis linux has jdk8?