if (IS_PREFIX_DEFAULTING.equals(name))
if (IS_REPAIRING_NAMESPACES.equals(name))
  public void setProperty(String name, Object value)    throws IllegalArgumentException  {    if (IS_PREFIX_DEFAULTING.equals(name))      prefixDefaulting = ((Boolean) value).booleanValue();    else    throw new IllegalArgumentException(name);  }