Specify JDK 8 to be used by travis.