### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java,v
retrieving revision 1.372
diff -u -r1.372 ProblemReporter.java
--- compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	27 Jun 2008 16:04:14 -0000	1.372
+++ compiler/org/eclipse/jdt/internal/compiler/problem/ProblemReporter.java	23 Jul 2008 18:48:42 -0000
@@ -6373,10 +6373,16 @@
 				expectingLocation.sourceEnd);
 			return;
 	}
+	char[] actualShortReadableName = actualType.shortReadableName();
+	char[] expectedShortReadableName = expectedType.shortReadableName();
+	if (CharOperation.equals(actualShortReadableName, expectedShortReadableName)) {
+		actualShortReadableName = actualType.readableName();
+		expectedShortReadableName = expectedType.readableName();
+	}
 	this.handle(
 		IProblem.TypeMismatch,
 		new String[] {new String(actualType.readableName()), new String(expectedType.readableName())},
-		new String[] {new String(actualType.shortReadableName()), new String(expectedType.shortReadableName())},
+		new String[] {new String(actualShortReadableName), new String(expectedShortReadableName)},
 		location.sourceStart,
 		location.sourceEnd);
 }