--- a/jaxp/src/jdk.xml.dom/share/classes/org/w3c/dom/html/HTMLTitleElement.java Thu May 19 16:19:01 2016 -0700
+++ b/jaxp/src/jdk.xml.dom/share/classes/org/w3c/dom/html/HTMLTitleElement.java Fri May 20 13:47:36 2016 -0700
@@ -44,6 +44,8 @@
/**
* The document title. See the TITLE element definition in HTML 4.0.
* <p>See also the <a href='http://www.w3.org/TR/2000/CR-DOM-Level-2-20000510'>Document Object Model (DOM) Level 2 Specification</a>.
+ *
+ * @since 1.4, DOM Level 2
*/
public interface HTMLTitleElement extends HTMLElement {
/**