equal
deleted
inserted
replaced
25 * @test |
25 * @test |
26 * @bug 6374357 6308351 6707027 |
26 * @bug 6374357 6308351 6707027 |
27 * @summary PackageElement.getEnclosedElements() throws ClassReader$BadClassFileException |
27 * @summary PackageElement.getEnclosedElements() throws ClassReader$BadClassFileException |
28 * @author Peter von der Ah\u00e9 |
28 * @author Peter von der Ah\u00e9 |
29 * @modules jdk.compiler/com.sun.tools.javac.model |
29 * @modules jdk.compiler/com.sun.tools.javac.model |
30 * @run main/othervm -Xmx256m Main |
30 * @run main/othervm -Xmx512m Main |
31 */ |
31 */ |
32 |
32 |
33 import java.io.File; |
33 import java.io.File; |
34 import java.nio.file.Path; |
34 import java.nio.file.Path; |
35 import java.util.*; |
35 import java.util.*; |