Use JDK7 for Travis build