Details
-
Bug
-
Resolution: Done
-
Major
-
9.0.0.CR1
-
None
-
None
Description
Some APIs use @deprecated javadoc without annotating the method/class as @Deprecated, or even use @Deprecated (with capital D) in javadoc which probably does not work at all.
