Paul Ferraro created JGRP-2259: ---------------------------------- Summary: Configurator.removeDeprecatedProperties(...) should check for @Deprecated Key: JGRP-2259 URL: https://issues.jboss.org/browse/JGRP-2259 Project: JGroups Issue Type: Bug 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. -- This message was sent by Atlassian JIRA (v7.5.0#75005)