void (@NotNull DocumentListener listener) { boolean success = myDocumentListeners.remove(listener); if (!success) { LOG.error("Can't remove document listener (" + listener + "). Registered listeners: " + Arrays.toString(getListeners())); } }