[jboss-jira] [JBoss JIRA] (JGRP-2259) Configurator.removeDeprecatedProperties(...) should check for @Deprecated

Configurator.removeDeprecatedProperties(...) should check for @Deprecated ------------------------------------------------------------------------- Key: JGRP-2259 URL: https://issues.jboss.org/browse/JGRP-2259 Project: JGroups Issue Type: Bug Affects Versions: 4.0.11 Reporter: Paul Ferraro Assignee: Bela Ban Configurator.removeDeprecatedProperties(...) removes and logs warnings for any configuration properties annotated with @DeprecatedProperty. However, this annotation is no longer in use anywhere. However, deprecated properties are consistently annotated with @Deprecated, and thus should be detected as such.