mickaelistria/jbosstools-build — pull request #1 by phantomjinx (2013-01-07 09:42:16+00:00)
Title: Replace teiid designer features and plugins

* The jboss 7 management service is included in a different plugin so is
not included by the current provided selection.

* Instead, of a piecemeal addition of plugins, add the main jbosstools
features, which includes all as related plugins.