Allow Travis CI to build on multiple JDKs