if (f instanceof EditorFigNode) { EditorFigNode node = (EditorFigNode) f;
if (f instanceof ModuleFigNode) { ModuleFigNode node = (ModuleFigNode) f;
    void deleted(Fig f) {        if (f instanceof EditorFigNode) {            EditorFigNode node = (EditorFigNode) f;            Enumeration eds = _editors.elements();            while (eds.hasMoreElements()) {                BiosimEditor ed = (BiosimEditor) eds.nextElement();                Layer layer = ed.getLayerManager().getActiveLayer();                if (layer instanceof EditorLayer) {                    if (((EditorLayer) layer).isDescendantDiagram(node)) {                        ed.showRoot();                    }                }            }        }    }