Re: [jbosstools-dev] rename of plugins without warning ...