Deprecated elements should have both the annotation and the Javadoc tag