gatein/gatein-portal — pull request #33 by mstruk (2012-05-21 15:11:16+00:00)
Title: Build improvements

- introduced consistent -Dservers.dir, -Dserver.name, -Ddownload ...
- fixed legacy jboss public repository issues (no need to declare repositories in settings.xml any more)