System.out.println("");
pass = false;
}
GeneralNames gNames = new GeneralNames();
gNames.addName(gName);
encoded = gNames.getEncoded();
// manually derived data:
_encoded = new byte[] {
(byte) 0x30, (byte) 0x1f, (byte) 0xa5, (byte) 0x1d,
(byte) 0x80, (byte) 0x0e, (byte) 0x13, (byte) 0x0c,