code: 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();
      }
docs: Encode this extension