_lowerClassDefMap.put(name.toLowerCase(), cl);
if (! isStrict()) _lowerClassDefMap.put(name.toLowerCase(), cl);
  public void addClassDef(String name, ClassDef cl)  {    _classDefMap.put(name, cl);    _lowerClassDefMap.put(name.toLowerCase(), cl);  }