Index: model/org/eclipse/jdt/internal/core/jdom/DOMType.java
===================================================================
RCS file: /home/eclipse/org.eclipse.jdt.core/model/org/eclipse/jdt/internal/core/jdom/DOMType.java,v
--- model/org/eclipse/jdt/internal/core/jdom/DOMType.java	29 Mar 2006 03:13:59 -0000	1.39
+++ model/org/eclipse/jdt/internal/core/jdom/DOMType.java	6 May 2006 16:40:40 -0000
@@ -316,7 +316,7 @@ 
 				buffer.append(fDocument, fInterfacesRange[0], fInterfacesRange[1] + 1 - fInterfacesRange[0]);
 			}
 		}
-		if (hasInterfaces) {
+		if (hasInterfaces || fSuperInterfaces == EMPTY_SUPERINTERFACES) {
 			if (fImplementsRange[0] < 0) {
 				buffer.append(' ');
 			} else {