Re: [jbosstools-dev] Duplicate project name: docs