JavaSourceDocument getDocument(SourceLineAnnotation source) {
private JavaSourceDocument getDocument(SourceLineAnnotation source) {
	JavaSourceDocument getDocument(SourceLineAnnotation source) {		try {			SourceFile sourceFile = frame.sourceFinder.findSourceFile(source);			String fullFileName = sourceFile.getFullFileName();			JavaSourceDocument result = map.get(fullFileName);			if (result != null)				return result;			try {				InputStream in = sourceFile.getInputStream();				result = new JavaSourceDocument(source.getClassName(),						new InputStreamReader(in), sourceFile);			} catch (Exception e) {				result = JavaSourceDocument.UNKNOWNSOURCE;				Debug.println(e); // e.printStackTrace();			}			map.put(fullFileName, result);			return result;		} catch (Exception e) {			Debug.println(e); // e.printStackTrace();			return JavaSourceDocument.UNKNOWNSOURCE;				}	}