Issue #140: added DupAccumulator to EditorState