if (f instanceof EditorFigNode) { vf = (EditorFigNode) f;
if (f instanceof ModuleFigNode) { vf = (ModuleFigNode) f;
    protected void saveFigs(java.util.List figs, Writer out, int indent) {        EditorFigNode vf;        try {            // For each Editor Fig, write the information            Iterator i = figs.iterator();            /* In the first loop, print out all the EditorFigNodes */            while (i.hasNext()) {                Fig f = (Fig) i.next();                if (f instanceof EditorFigNode) {                    vf = (EditorFigNode) f;                    saveFigNode(vf, out, indent);                } else {                }            }            /**             * In the second loop, print out all the Edges. Note that an Edge             * must appear after the nodes that it connects; this is the             * simplest way to guarantee that.             */            i = figs.iterator();            while (i.hasNext()) {                Fig f = (Fig) i.next();                if (f instanceof EditorFigEdge) {                    //System.out.println("Edge Fig found");                    EditorFigEdge fe = (EditorFigEdge) f;                    saveFigEdge(fe, out, indent);                }            }        } catch (IOException ioe) {            ioe.printStackTrace();        }    }