you set that in the launch configuration of the server.
you set them by entering them into the command line arguments field.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=3989177#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...