### Eclipse Workspace Patch 1.0
#P org.eclipse.jdt.core.tests.model
Index: src/org/eclipse/jdt/core/tests/formatter/comment/JavaDocTestCase.java
===================================================================
RCS file: /cvsroot/eclipse/org.eclipse.jdt.core.tests.model/src/org/eclipse/jdt/core/tests/formatter/comment/JavaDocTestCase.java,v
retrieving revision 1.12
diff -u -r1.12 JavaDocTestCase.java
--- src/org/eclipse/jdt/core/tests/formatter/comment/JavaDocTestCase.java	17 Feb 2007 12:32:29 -0000	1.12
+++ src/org/eclipse/jdt/core/tests/formatter/comment/JavaDocTestCase.java	27 Jul 2007 19:38:25 -0000
@@ -803,4 +803,23 @@
 		assertNotNull(edit);
 		assertEquals("No edit", 0, edit.getChildrenSize());
 	}
+	
+	public void test198153() {
+		Map options = DefaultCodeFormatterConstants.getEclipseDefaultSettings();
+
+		String input = "/**" + DELIMITER +
+				" * <pre>" + DELIMITER +
+				" * System.out.println(&#34;hello world&#34;);" + DELIMITER +
+				" * </pre>" + DELIMITER +
+				" */";
+		
+		String expected = "/**" + DELIMITER +
+				" * <pre>" + DELIMITER +
+				// No space after "world".
+				" * System.out.println(&quot;hello world&quot;);" + DELIMITER +
+				" * </pre>" + DELIMITER +
+				" */";
+		String result=testFormat(input, options);
+		assertEquals(expected, result);
+	}
 }