27f08da5cb
new behavior: - depreaction comment (/** @deprecated */) is added always - @Deprecated annotation is added only when presented in .class file rationale: - both deprecation comment and @Deprecated anno produce "Deprecated" attribute - adding annotation to members deprecated by comment (old behavior) is actually incorrect - adding comment to members deprecated by annotation may be incorrect but is acceptable (there is no way to tell if a member was deprecated by sole annotation or both by annotation and comment) - additional configuration option is therefore no longer needed