Travis CI should use JDK 8