equal
deleted
inserted
replaced
23 |
23 |
24 /* |
24 /* |
25 * @test |
25 * @test |
26 * @bug 8190003 8196201 8196202 8184205 |
26 * @bug 8190003 8196201 8196202 8184205 |
27 * @summary Special characters in group names should be escaped |
27 * @summary Special characters in group names should be escaped |
28 * @library /tools/lib ../lib |
28 * @library /tools/lib ../../lib |
29 * @modules jdk.javadoc/jdk.javadoc.internal.tool |
29 * @modules jdk.javadoc/jdk.javadoc.internal.tool |
30 * @build toolbox.ToolBox JavadocTester |
30 * @build toolbox.ToolBox javadoc.tester.* |
31 * @run main TestGroupName |
31 * @run main TestGroupName |
32 */ |
32 */ |
33 |
33 |
34 import java.io.IOException; |
34 import java.io.IOException; |
35 import java.nio.file.Path; |
35 import java.nio.file.Path; |
36 import java.nio.file.Paths; |
36 import java.nio.file.Paths; |
37 |
37 |
38 import toolbox.*; |
38 import javadoc.tester.JavadocTester; |
|
39 import toolbox.ToolBox; |
39 |
40 |
40 public class TestGroupName extends JavadocTester { |
41 public class TestGroupName extends JavadocTester { |
41 |
42 |
42 public final ToolBox tb; |
43 public final ToolBox tb; |
43 public static void main(String... args) throws Exception { |
44 public static void main(String... args) throws Exception { |