}
}
for(String id : toolDB.keySet()){
Triple<String, String, Tool> currentTool = toolDB.get(id);
String relativePath = currentTool.getElem1();
Tool toolToDump = currentTool.getElem3();
if(toolToDump != null&& relativePath != null ){
File dir = new File(relativePathToOutputToolPath(getDirectory(id)));
File absfile = new File(relativePathToOutputToolPath(relativePath));
dir.mkdirs();
try {