deleted obsolete javadoc in Proxies
replaced peelables Set in Proxies by generalized rule