private void encodeThis() throws IOException {
        if (crlNumber == null) {
            this.extensionValue = null;
            return;
        }
        DerOutputStream os = new DerOutputStream();
        os.putInteger(this.crlNumber);
        this.extensionValue = os.toByteArray();
    }
private void encodeThis ( ) throws IOException { if ( crlNumber == null ) { this . extensionValue = null ; return ; } DerOutputStream os = new DerOutputStream ( ) ; os . putInteger ( this . crlNumber ) ; this . extensionValue = os . toByteArray ( ) ; }
Encode this extension value