Workaround for Liferay IDE plugin + JBoss runtime

Recently, I had a requirement to have JBoss as runtime for Liferay development.
The complete environment is as below:
- JBoss Application Server 7.1
- Liferay CE 6.1.1, deployed as a war on JBoss AS
- JBoss Developer Studio 5

As Liferay IDE plugin doesn't support JBoss as runtime, I tried a workaround and it's working fine.

I request Liferay IDE project's team to provide their comment, if they see any issues with this workaround.
Summary of workaround is: Use tomcat runtime as a dummy and configure JBoss in the build properties.

Below are detailed steps for this workaround:
1. Deployed (plain) JBoss AS 7.1
2. Deployed liferay-cd-6.1.1 war on JBoss AS 7.1, following a few other steps. This is working fine.
3. Configured JBoss AS 7.1 as a normal runtime (preferences -> server). [If you are using Liferay-JBoss bundle then ignore steps 1-3.]
4. Installed Liferay IDE 1.6 on JBoss Developer Studio using update site.
5. Downloaded liferay-tomcat-ce-6.1.1 bundle and configured this tomcat as Liferay runtime on JBoss Developer Studio. [The tomcat bundle is used just as a dummy].
6. Configured liferay SDK on JBoss Developer Studio.
7. Created a new test/sample plugin selecting tomcat as liferay runtime.
8. After creating the new plugin, Liferay IDE will create the build.USER-NAME.properties file in SDK. This properties file have path for tomcat bundle.
9. I modified this build properties file to point to JBoss AS. Below is how my build.USER-NAME.properties file look like.

#
# Specify the paths to an unzipped JBoss bundle.
#
app.server.type=jboss
app.server.dir=G:/Batch2/project/runtime/liferay-portal-6.1.1-ce-ga2/jboss-7.1.1   app.server.deploy.dir=${app.server.dir}/standalone/deployments
app.server.lib.global.dir=${app.server.dir}/modules/com/liferay/portal/main   app.server.portal.dir=${app.server.dir}/standalone/deployments/ROOT.war

10. Again create a new plugin from JBoss Developer Stuido selecting tomcat as runtime, it will display a message that "User build properties is not synchronized.......". Select the checkbox and click "No" in this message box. This is will make sure that it won't change your build properties back to tomcat again.
11. Add JBoss server instance (as configured in step-4) on JBoss Developer studio and start the server.
12. Deploy the plugin and it will be deployed on JBoss

Liferay IDE doesn't have support for JBoss AS as normal server/runtime also. So if you are not using JBoss Developer Studio, then you can use other Eclipse IDE which supports JBoss AS.
If you are using Liferay-JBoss bundle then ignore steps 1-3.

Source: Liferay Forum