langtools/test/tools/doclint/DocLintTester.java
changeset 29957 7740f9657f56
parent 21500 475e59d3b40c
--- a/langtools/test/tools/doclint/DocLintTester.java	Wed Jul 05 20:28:21 2017 +0200
+++ b/langtools/test/tools/doclint/DocLintTester.java	Mon Apr 13 18:05:23 2015 -0700
@@ -21,21 +21,20 @@
  * questions.
  */
 
+import java.io.BufferedReader;
 import java.io.File;
-import java.util.ArrayList;
-import java.util.List;
-
-import com.sun.tools.doclint.DocLint;
-import com.sun.tools.doclint.DocLint.BadArgs;
-import java.io.BufferedReader;
 import java.io.FileReader;
 import java.io.IOException;
 import java.io.PrintWriter;
 import java.io.Reader;
 import java.io.StringWriter;
+import java.util.ArrayList;
+import java.util.List;
 import java.util.regex.Matcher;
 import java.util.regex.Pattern;
 
+import com.sun.tools.doclint.DocLint;
+import com.sun.tools.doclint.DocLint.BadArgs;
 
 public class DocLintTester {
 
@@ -60,6 +59,8 @@
                 opts.add(arg);
             } else if (arg.startsWith("-XcustomTags")) {
                 opts.add(arg);
+            }  else if (arg.startsWith("-XhtmlVersion")) {
+                opts.add(arg);
             } else if (arg.startsWith("-")) {
                 opts.add(arg);
                 if (i < args.length - 1 && !args[i+1].startsWith("-"))