jdk/test/java/nio/charset/Charset/RegisteredCharsets.java
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.*;