Another attempt to fix tools.jar issue with Travis CI