if (!debugGui.updateFileWindow(sourceInfo) && !fileName.equals("<stdin>")) { debugGui.createFileWindow(sourceInfo, -1);
if (!debugGui.updateFileWindow(sourceInfo) && !fileName.equals("<stdin>")) { debugGui.createFileWindow(sourceInfo, -1);
if (!debugGui.updateFileWindow(sourceInfo) && !fileName.equals("<stdin>")) { debugGui.createFileWindow(sourceInfo, -1);
if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);
if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);
if (w == null) { Dim.SourceInfo si = dim.sourceInfo(sourceUrl); createFileWindow(si, -1); w = getFileWindow(sourceUrl);