getTreeMapper().removeTargetNode(node);
m_TreeComponent.setDirty();
m_TreeComponent.repaint();
} else {
MappingManager mgr = getTreeMapper().getMappingManager();
NodeMapping mp = mgr.findMapping(node.m_deName);
mgr.changeHighLighted(mp);
deleteMappedPreCondition(mp);
}
}