You do not need any tools to deploy archives - simply copy them to the server/xxx/deploy
directory.
Based on your description, I don't know what tools you are attempting to download.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4134353#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...