Explicitly setting OpenJDK 7 for Travis CI testing.