Back to bug 567880

Who When What Removed Added
genie 2020-10-14 14:54:03 EDT See Also https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/170785
genie 2020-10-15 01:24:10 EDT See Also https://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=0554db5338bdc6ea3e2e342472f5136c01291a7e

Back to bug 567880