tree 31f3cf96ec442dc874c47dd0ce5b05bd532cf211
parent baa72b2d647bbaed44f058f5813ebda53de453b4
author Stephan Herrmann <stephan.herrmann@berlin.de> 1589807727 +0200
committer Stephan Herrmann <stephan.herrmann@berlin.de> 1589808363 +0200

Bug 528108 - Add @Override to jdt.core

- @Override should be added by developers, not automatically

Change-Id: I96e07d7d9ff6b05bca4a13bedd8cfe5baa92484b