Use JDK8 in travis-ci builds