Re: [jbosstools-dev] Removal of plugin, consequences?