}
} */
    public void handleCompilationDone(Context cx, DebuggableScript fnOrScript,                                      String source) {        String sourceName = fnOrScript.getSourceName();        FileWindow w = (FileWindow) fileWindows.get(sourceName);        super.handleCompilationDone(cx, fnOrScript, source);        if (!treeNodes.containsKey(sourceName)) {            createTreeNode(sourceName);        }        if (w != null) {            // renew existing file window            int position = w.textArea.getCaretPosition();            // System.err.println("         VISIBLE: " + point);            // w.sourceInfo.removeAllBreakpoints();            w.sourceInfo = (SourceInfo) sourceNames.get(sourceName);            w.updateText();            w.textArea.setCaretPosition(position);        }    }