public synchronized void removeToolAction(ToolAction toolAction) {
if (!actions.contains(toolAction))
return;
Tool tool = (Tool) toolAction.getValue(ToolAction.TOOL);
if (tool != null) {
tool.removePropertyChangeListener(Tool.TOOL_DONE, toolPropertyChangeListener);
}
actions.remove(toolAction);
toolAction.removePropertyChangeListener(toolActionPropertyChangeListener);