Request of formal documentation about Override annotation

Discussion on the web seems to indicate that users are making guesses
about @Override's portability because there doesn't seem to be any
formal documentation from Sun. I would suggest that Sun formally
document that this feature was added as of JDK 6, in the release notes
as well as in the javadoc of the Override annotation.