void propertyChanged(@Nullable Document document, @NotNull String propertyName, final Object oldValue, final Object newValue);
void propertyChanged(@Nullable Document document, @NotNull String propertyName, final Object oldValue, final Object newValue)