Searched refs:numExt (Results 1 – 1 of 1) sorted by relevance
824 CRLNumberExtension numExt = getCRLNumberExtension(); in getCRLNumber() local825 if (numExt != null) { in getCRLNumber()826 BigInteger num = (BigInteger)numExt.get(numExt.NUMBER); in getCRLNumber()