public void setName(OperationWrapperNode opNode, String name) {
OperationWrapper op = opNode.getDataObject();
String oldName = op.getName();
if (!oldName.equals(name) && controller.isChangeAllowed(op)) {
UndoableEdit edit = new OperationWrapperRenameEdit(controller, op, name);
op.setName(name);
controller.fireGraphDataEdit(edit);
}
}