deprecate DefaultUndoManager for removal#2695

jukzi merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

jukzi:DefaultUndoManagerjukzi/eclipse.platform.ui:DefaultUndoManagerCopy head branch name to clipboard