Travis: only build on JDK7 for now