fiddling with travis jdk's