@Override
  public void incFacetModificationTracker(final @NotNull Facet<?> facet) {
    final Pair<SimpleModificationTracker, EventDispatcher<ModificationTrackerListener>> pair = myModificationsTrackers.get(facet);
    if (pair != null) {
      pair.first.incModificationCount();
      //noinspection unchecked
      pair.second.getMulticaster().modificationCountChanged(facet);
    }
  }
@Override
  public void incFacetModificationTracker(final @NotNull Facet<?> facet)