We know the location of the jboss can we set it in build.properties using "jboss.home"

Same goes for deploying to production server for seam examples instead of the default server.