Use both JDK7 and JDK8 in Travis