Make travis use the right Java version