@Override
    default void documentChangedNonBulk(@NotNull DocumentEvent event) {
      afterDocumentChange(event.getDocument());
    }
@Override
    default void documentChangedNonBulk(@NotNull DocumentEvent event)