private void setExternalEntity (String eName, int eClass, String ids [], String nName)
private void setExternalEntity(String eName, int eClass, ExternalIdentifiers ids, String nName)
    private void setExternalEntity (String eName, int eClass,		     String ids [], String nName)    {	if (entityInfo.get (eName) == null) {	    Object entity[] = new Object [5];	    entity [0] = new Integer (eClass);	    entity [1] = ids;// FIXME: shrink!!  [2] no longer used, [4] irrelevant given [0]	    entity [4] = nName;	    entityInfo.put (eName, entity);	}    }