Specifying JDK and using verbose testing on Travis CI.