Attempt to fix tools.jar usage in Travis