My question is, is hot deployment will work with JBoss 7.2.0?
Short answer: YES!
Make sure to read the documentation about file based deployment if you want to use this "old" way of deploying your
artifacts directly in the "deploy" directory. Otherwise just use the CLI command "deploy --force myArtifact.ear"