[jbosstools-dev] Duplicate project name: docs

[Max Rydahl Andersen]

> Docs projects should be fully-qualified names to prevent workspace
> import conflicts.
>
> Offending projects below:
>    jbosstools/trunk/core/docs
>    jbosstools/trunk/hibernatetools/docs

 these two already have unique project names...?