Adding @Override to the plug-ins in JDT core via https://git.eclipse.org/r/#/c/97434/ from Andrey
Hi JDT devs,
a while ago, it was said that https://git.eclipse.org/r/#/c/97434/ (which adds missing @Overrides) could not be merged because Java 9 was
developed in a separate branch and this would create so much noise.
Can you now merge this? Or run the @Override cleanup action yourself
for the repo. I get lots of Sonar warnings if I look at the code