void (@NotNull Element element) { super.writeExternal(element); if (ON_DEMAND) { JDOMExternalizerUtil.writeField(element, "ON_DEMAND", "true"); } if (USE_CLASS_FILTERS) { JDOMExternalizerUtil.writeField(element, "USE_CLASS_FILTERS", "true"); } DebuggerUtilsEx.writeFilters(element, "filter", myClassFilters); }