*********************************************************************
Now, there is NO jboss tools supporting jboss as 7.2.
jbosstools 4.0 only support jboss as 7.1.
(1) Although it can start up jboss-as-7.2.0.Alpha1, it does NOT know wether jboss-as-7.2.0.Alpha1 is started successfully. jbosstools 4.0 will shut down jboss-as-7.2.0.Alpha1 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
So my question is:
Which version of jboss tools did you develop jboss 7.2 with?
or
Do you develop jboss 7.2 with pure text editor?
