--- a/jdk/src/share/classes/java/net/CookieManager.java	Mon Jun 10 12:26:20 2013 +0200
+++ b/jdk/src/share/classes/java/net/CookieManager.java	Mon Jun 10 12:58:32 2013 +0100
@@ -41,7 +41,7 @@
  *
  * <p> The HTTP cookie management in java.net package looks like:
  * <blockquote>
- * <pre>
+ * <pre>{@code
  *                  use
  * CookieHandler <------- HttpURLConnection
  *       ^
@@ -58,7 +58,7 @@
  *                            | impl
  *                            |
  *                  Internal in-memory implementation
- * </pre>
+ * }</pre>
  * <ul>
  *   <li>
  *     CookieHandler is at the core of cookie management. User can call