explicitly tell Travis what JDK we want

even though oraclejdk7 is actually the default