I think I solved my own problem. I will type out another reply a little, so that it might
be helpful to someone else as well.
Now though, I have run into a port problem, and I am not sure what to do about that.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4183099#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...