--- a/langtools/src/jdk.javadoc/share/classes/com/sun/javadoc/DocErrorReporter.java	Fri May 27 12:37:18 2016 -0700
+++ b/langtools/src/jdk.javadoc/share/classes/com/sun/javadoc/DocErrorReporter.java	Fri May 27 13:06:58 2016 -0700
@@ -30,7 +30,13 @@
  *
  * @since 1.2
  * @author Robert Field
+ *
+ * @deprecated
+ *   The declarations in this package have been superseded by those
+ *   in the package {@code jdk.javadoc.doclet}.
+ *   For more information, see the <i>Migration Guide</i> in the documentation for that package.
  */
+@Deprecated
 public interface DocErrorReporter {
 
     /**