Make Travis use JDK7