specify exact JDK version in Travis config

oraclejdk7 is actually the default, but it's best to make it
explicit, for documentation, and in case Travis changes the
default