src/share/classes/com/sun/source/tree/CatchTree.java

@@ -38,10 +38,10 @@
  *
  * @author Peter von der Ahé
  * @author Jonathan Gibbons
  * @since 1.6
  */
-@jdk.Supported
+@jdk.Exported
 public interface CatchTree extends Tree {
     VariableTree getParameter();
     BlockTree getBlock();
 }