Index: model/org/eclipse/jdt/internal/core/TypeParameter.java
===================================================================
RCS file: /home/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/TypeParameter.java,v
retrieving revision 1.5
diff -u -r1.5 TypeParameter.java
--- model/org/eclipse/jdt/internal/core/TypeParameter.java	25 May 2005 19:24:39 -0000	1.5
+++ model/org/eclipse/jdt/internal/core/TypeParameter.java	13 Jun 2005 10:45:35 -0000
@@ -54,6 +54,15 @@
 	}
 	
 	public ISourceRange getNameRange() throws JavaModelException {
+		SourceMapper mapper= getSourceMapper();
+		if (mapper != null) {
+			// ensure the class file's buffer is open so that source ranges are computed
+			ClassFile classFile = (ClassFile)getClassFile();
+			if (classFile != null) {
+				classFile.getBuffer();
+				return mapper.getNameRange(this);
+			}
+		}
 		TypeParameterElementInfo info = (TypeParameterElementInfo) getElementInfo();
 		return new SourceRange(info.nameStart, info.nameEnd - info.nameStart + 1);
 	}