#5 Add @Deprecated annotation for method with @deprecated Javadoc.

[Fredrik Roubert]

This is the javac xlint "dep-ann" warning. The warning reports instances where a declaration has the @deprecated Javadoc tag, but no corresponding @Deprecated annotation. (There is no good reason to do this.)