changeset 44115 | bb4e971bf5d4 |
parent 29121 | ab151045a89d |
child 47115 | 5e68e293e7a1 |
--- a/jdk/test/java/nio/charset/Charset/RegisteredCharsets.java Wed Mar 08 14:45:27 2017 -0800 +++ b/jdk/test/java/nio/charset/Charset/RegisteredCharsets.java Wed Mar 08 17:17:41 2017 -0800 @@ -25,6 +25,7 @@ * @bug 4473201 4696726 4652234 4482298 4784385 4966197 4267354 5015668 6911753 8071447 * @summary Check that registered charsets are actually registered + * @modules jdk.charsets */ import java.io.*;