private ToolList get_tools(String s) {
ToolList line_tools = new ToolList();
String tools = remove_control_character(s);
for (String tool : parse_tool_line(tools)) {
line_tools.add(Tool.find_or_create(tool));
}
return line_tools;
}
public ToolList get_tools() {
if (tools == null) {
tools = new ToolList();
for (Job j : jobs.values()) {
for (Tool t : j.getTools()) if (!tools.contains(t)) tools.add(t);
}
Collections.sort(tools);
}
return tools;
}
