Try speeding up travis by only running one JDK, one platform.