### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core
Index: formatter/org/eclipse/jdt/internal/formatter/comment/HTMLEntity2JavaReader.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core/formatter/org/eclipse/jdt/internal/formatter/comment/HTMLEntity2JavaReader.java,v
retrieving revision 1.3
diff -u -r1.3 HTMLEntity2JavaReader.java
--- formatter/org/eclipse/jdt/internal/formatter/comment/HTMLEntity2JavaReader.java	29 Mar 2006 03:00:05 -0000	1.3
+++ formatter/org/eclipse/jdt/internal/formatter/comment/HTMLEntity2JavaReader.java	27 Jul 2007 19:08:07 -0000
@@ -75,7 +75,7 @@
 				} else {
 					ch= Integer.parseInt(symbol.substring(1), 10);
 				}
-				return " " + (char) ch; //$NON-NLS-1$
+				return String.valueOf((char) ch);
 			} catch (NumberFormatException e) {
 				// ignore
 			}