/** Encode this extension */ private void encodeThis() throws IOException { if (names == null || names.isEmpty()) { this.extensionValue = null; return; } DerOutputStream os = new DerOutputStream(); names.encode(os); this.extensionValue = os.toByteArray(); }