frame.setSourceTabTitle(thisSource.getSourceFile());
frame.setSourceTabTitle(thisSource.getSourceFile() + " in " + thisSource.getPackageName());
				public void run() {					frame.sourceCodeTextPane.setEditorKit(src.getEditorKit());					StyledDocument document = src.getDocument();					frame.sourceCodeTextPane.setDocument(document);					frame.setSourceTabTitle(thisSource.getSourceFile());					show(frame.sourceCodeTextPane, document, thisSource);					for(Iterator<BugAnnotation> i = thisBug.annotationIterator(); i.hasNext(); ) {						BugAnnotation annotation = i.next();						if (annotation instanceof SourceLineAnnotation) {							SourceLineAnnotation sourceAnnotation = (SourceLineAnnotation) annotation;							if (sourceAnnotation != thisSource)  								show(frame.sourceCodeTextPane, document, sourceAnnotation);						}					}					show(frame.sourceCodeTextPane, document, thisSource);				}