tree ded8ac99c1dd061eb5c6a30fd2550e18bc87e5cc
parent 7e9942116fe399f599628b490c2f86806ee20880
author deboer <deboer> 1188998029 +0000
committer deboer <deboer> 1188998029 +0000

[202207] Don't implement IMemento from org.eclipse.ui