clearSummaryTab(); sourceCodeTextPane.setText("");
clearSummaryTab(); sourceCodeTextPane.setDocument(SourceCodeDisplay.SOURCE_NOT_RELEVANT);
			public void run(){				setSourceTabTitle("Source");								clearSummaryTab();								sourceCodeTextPane.setText("");				currSrcLineAnnotation = null;			}