jbosstools/jbosstools-server — pull request #37 by snjeza (2013-01-14 21:12:37+00:00)
Title: JBIDE-10525 - server editor Server behavior expansion too tall

https://issues.jboss.org/browse/JBIDE-10525
server editor Server behavior expansion too tall