--- old/src/share/classes/java/util/jar/Pack200.java	2013-06-10 10:37:58.585878920 +0100
+++ new/src/share/classes/java/util/jar/Pack200.java	2013-06-10 10:37:58.317878926 +0100
@@ -45,7 +45,7 @@
  * transform the byte-stream back to JAR format.
  * <p>
  * Here is an example using  packer and unpacker:<p>
- * <blockquote><pre>
+ * <pre>{@code
  *    import java.util.jar.Pack200;
  *    import java.util.jar.Pack200.*;
  *    ...
@@ -90,7 +90,7 @@
  *    } catch (IOException ioe) {
  *        ioe.printStackTrace();
  *    }
- * </pre></blockquote>
+ * }</pre>
  * <p>
  * A Pack200 file compressed with gzip can be hosted on HTTP/1.1 web servers.
  * The deployment applications can use "Accept-Encoding=pack200-gzip". This