Fix tools.jar