Switch Travis builds to Oracle JDK7

OpenJDK6 has some issues with type inference that require messy workarounds when using certain generic methods. We already have good Oracle JDK6 testing on Jenkins, os it may be useful to move travis to OpenJDK7.