jbosstools/jbosstools-server — pull request #161 by snjeza (2013-10-24 22:36:35+00:00)
Title: JBIDE-15765 - JPP 6.1 recognized as AS 7.2

https://issues.jboss.org/browse/JBIDE-15765
JPP 6.1 recognized as AS 7.2