Stream<TagNameSynchronizer> (@Nullable Document document) { if (document == null || !WebEditorOptions.getInstance().isSyncTagEditing()) { return Stream.empty(); } return EditorFactory.getInstance().editors(document, null) .map(editor -> editor.getUserData(SYNCHRONIZER_KEY)) .filter(Objects::nonNull); }