void (TodoFilter @NotNull [] filters) { TodoFilter[] oldFilters = myTodoFilters; myTodoFilters = filters; getPublisher(PROPERTY_CHANGE).propertyChange(new PropertyChangeEvent(this, PROP_TODO_FILTERS, oldFilters, filters)); }