Travis: switched to OpenJDK7