fix tools.jar /