--- a/jaxp/src/jdk.xml.dom/share/classes/org/w3c/dom/html/HTMLParamElement.java Thu May 19 16:19:01 2016 -0700
+++ b/jaxp/src/jdk.xml.dom/share/classes/org/w3c/dom/html/HTMLParamElement.java Fri May 20 13:47:36 2016 -0700
@@ -45,6 +45,8 @@
* Parameters fed to the <code>OBJECT</code> element. See the PARAM 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 HTMLParamElement extends HTMLElement {
/**