| new IdlTool(),
new RpcReceiveTool(),
new RpcSendTool(),
new FromTextTool(),
new ToTextTool(),
new TetherJob()
}) {
Tool prev = tools.put(tool.getName(), tool);
if (prev != null) {
throw new AssertionError(
"Two tools with identical names: " + tool + ", " + prev);
|