jbosstools/jbosstools-server — pull request #53 by robstryker (2013-02-19 09:07:47+00:00)
Title: JBIDE-13537 version 2 with trimmed subset of new launch api

this is a more slimmed down patch for JBIDE-13537 which does NOT change existing logic in the behaviors or launch participants at all. It does add the new api but does not make use of it.