public void updateSourceText(Dim.SourceInfo sourceInfo) {
public void updateSourceText(final Dim.SourceInfo sourceInfo) {
        public void updateSourceText(Dim.SourceInfo sourceInfo) {            // super.updateSourceText(sourceInfo);            String filename = sourceInfo.url();            if (!treeNodes.containsKey(filename)) {                createTreeNode(filename, sourceInfo);            }            // System.err.println("UPDATE SOURCE TEXT CALLED: " + sourceInfo.url());        }