Travis CI: discard JDK dependency?