I restarted windows and now it works.
I have no clue why.
Lesson learnt: when all else fails, try rebooting.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4032113#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...