String oid = (String) it.next(); if (!oid.equals("2.5.29.15") && !oid.equals("2.5.29.17") && !oid.equals("2.5.29.18") && !oid.equals("2.5.29.19") && !oid.equals("2.5.29.37"))
Extension e = (Extension) it.next(); if (e.isCritical() && !e.isSupported())
  public boolean hasUnsupportedCriticalExtension()  {    for (Iterator it = critOids.iterator(); it.hasNext(); )      {        String oid = (String) it.next();        if (!oid.equals("2.5.29.15") && !oid.equals("2.5.29.17") &&            !oid.equals("2.5.29.18") && !oid.equals("2.5.29.19") &&            !oid.equals("2.5.29.37"))          return true;      }    return false;  }