When will jbosstools be ready for jboss7.1.3 and jboss 7.2 ?
jbosstools 4.0 only support jboss as 7.1.
(1) Although it can start up jboss as 7.1.3, it does NOT know wether jboss as 7.1.3 is started successfully. jbosstools 4.0 will shut down jboss as 7.1.3 after 90 minutes.
(2) I can NOT define a new server of jboss as 7.2 with the "new server wizard".
Error: The home directory does not exist or is missing a required file or folder: modules\org\jboss\as\server\main
I hope jbosstools 4.0 can support jboss as 7.2 as soon as possible.