--- old/src/share/classes/com/sun/source/doctree/ParamTree.java	2013-10-03 22:24:13.000000000 -0700
+++ new/src/share/classes/com/sun/source/doctree/ParamTree.java	2013-10-03 22:24:13.000000000 -0700
@@ -35,7 +35,7 @@
  *
  * @since 1.8
  */
-@jdk.Supported
+@jdk.Exported
 public interface ParamTree extends BlockTagTree {
     boolean isTypeParameter();
     IdentifierTree getName();