diff --git a/java/external/src/org/w3c/dom/Document.java b/java/external/src/org/w3c/dom/Document.java index 43ebd4e..e3cdf20 100644 --- a/java/external/src/org/w3c/dom/Document.java +++ b/java/external/src/org/w3c/dom/Document.java @@ -43,7 +43,7 @@ public interface Document extends Node { * , based on the DocumentType specified at creation time, * changing it afterwards is very unlikely to result in a change of the * features supported. - * @version DOM Level 3 + * @since DOM Level 3 */ public DocumentType getDoctype();