if (IS_PREFIX_DEFAULTING.equals(name))
if (IS_REPAIRING_NAMESPACES.equals(name))
  public Object getProperty(String name)    throws IllegalArgumentException  {    if (IS_PREFIX_DEFAULTING.equals(name))      return new Boolean(prefixDefaulting);    throw new IllegalArgumentException(name);  }