Configure Travis-CI to use multiple JDKs for build testing