@XCollection(propertyElementName = "catch-class-filters")
  public final ClassFilter[] getCatchClassFilters() {
    return myCatchClassFilters != null ? myCatchClassFilters : ClassFilter.EMPTY_ARRAY;
  }
@XCollection(propertyElementName = "catch-class-filters")
  public final ClassFilter[] getCatchClassFilters()