[infinispan-dev] adding new configuration options

Hi, I need to add a new configuration attribute for: https://issues.jboss.org/browse/ISPN-1297 Now that Pete's new Configuration structure is in place, wondering weather I should a) add it to both old and new hierarchy or b) add it only to the new hierarchy. b) sounds more sensible to me, as there's no point in maintaining deprecated API. And this would also motivate users to switch to the new config - which is also not bad. Cheers, Mircea