jdk/test/java/nio/charset/Charset/RegisteredCharsets.java
changeset 44115 bb4e971bf5d4
parent 29121 ab151045a89d
child 47115 5e68e293e7a1
equal deleted inserted replaced
44114:c6c96b739bad 44115:bb4e971bf5d4
    23 
    23 
    24 /* @test
    24 /* @test
    25  * @bug 4473201 4696726 4652234 4482298 4784385 4966197 4267354 5015668
    25  * @bug 4473201 4696726 4652234 4482298 4784385 4966197 4267354 5015668
    26         6911753 8071447
    26         6911753 8071447
    27  * @summary Check that registered charsets are actually registered
    27  * @summary Check that registered charsets are actually registered
       
    28  * @modules jdk.charsets
    28  */
    29  */
    29 
    30 
    30 import java.io.*;
    31 import java.io.*;
    31 import java.nio.*;
    32 import java.nio.*;
    32 import java.nio.charset.*;
    33 import java.nio.charset.*;