jbosstools/jbosstools-server — pull request #48 by robstryker (2013-02-13 17:24:10+00:00)
Title: Jbide 13537

This commit cannot just be merged in, but should instead be cherry-picked, due to my own failures ;) But a proper cherry pick will apply cleanly to branch.