jbosstools/jbosstools-server — pull request #167 by robstryker (2013-11-06 10:52:14+00:00)
Title: JBIDE-15618  initial API for a mixin-style server behavior

This is an initial *INCOMPLETE* pull request for a new API. See https://community.jboss.org/wiki/JBossTools-DelegatingServersViaSubsystems for information.

At this time, the PR is available for general review and commentary only. It is not being considered for push as of now.