I\'ve recently noticed that in the javadoc HTML generated from my project, the HTML contains certain annotations twice. So for this code:
@CheckReturnValue @NonNu