jbosstools/jbosstools-server — pull request #58 by snjeza (2013-03-05 13:22:52+00:00)
Title: JBIDE-13715 - soa-p 5.3 is incorrectly detected as 5.2

https://issues.jboss.org/browse/JBIDE-13715
soa-p 5.3 is incorrectly detected as 5.2