Nope. I gave up trying to fix it, removed Eclipse, and re-installed it, using @Nadahar’s .setup file.
.setup