equal
deleted
inserted
replaced
34 public class T5093723 extends JavadocTester { |
34 public class T5093723 extends JavadocTester { |
35 |
35 |
36 private static final String BUG_ID = "5093723"; |
36 private static final String BUG_ID = "5093723"; |
37 |
37 |
38 private static final String[] ARGS = new String[] { |
38 private static final String[] ARGS = new String[] { |
39 "-d", BUG_ID + ".out", "-source", "5", "-Xdoclint:none", |
39 "-d", BUG_ID + ".out", "-Xdoclint:none", |
40 SRC_DIR + "/DocumentedClass.java", |
40 SRC_DIR + "/DocumentedClass.java", |
41 SRC_DIR + "/UndocumentedClass.java" |
41 SRC_DIR + "/UndocumentedClass.java" |
42 }; |
42 }; |
43 |
43 |
44 public static void main(String... args) { |
44 public static void main(String... args) { |