--- old/src/share/classes/com/sun/source/doctree/StartElementTree.java	2013-10-03 22:24:15.000000000 -0700
+++ new/src/share/classes/com/sun/source/doctree/StartElementTree.java	2013-10-03 22:24:15.000000000 -0700
@@ -36,7 +36,7 @@
  *
  * @since 1.8
  */
-@jdk.Supported
+@jdk.Exported
 public interface StartElementTree extends DocTree {
     Name getName();
     List<? extends DocTree> getAttributes();