@@ -28,10 +28,12 @@ * @test * @author Sean Mullan * @bug 4716972 * @summary Check that GeneralName.encode() encodes an X500Name with * an explicit tag + * @modules java.base/sun.security.util + * java.base/sun.security.x509 */ public class Encode { public static void main(String[] args) throws Exception {