Disable hot deployment in JBoss-5 
Had some trouble figuring out how to do this since it had changed from how JBoss-4 did it with conf/jboss-service.conf & the URLDeploymentScanner service.
And various pages, eg
this, referred to using a similar approach of setting scanEnabled property to false in deploy/hdscanner-jboss-beans.xml.
But this didn't work.
What worked is the remarkably obvious
rm deploy/hdscanner-jboss-beans.xml
This also turns off autoDeploy in tomcat (jbossweb) so there's no need to add autoDeploy="false" to the Host element in jbossweb.sar/server.xml.