protected Tool newTool() { Tool tool = new Tool(); tool.setOutputDirectory(tmpdir); return tool; }
protected Tool newTool(String[] args) { Tool tool = new Tool(args); tool.setOutputDirectory(tmpdir); return tool; }