Thanks, jaikiran. I'd failed to spot that the ZIP file wasn't just a different
format, that it was the binary rather than the source.
Must have been late, I guess.
View the original post :
http://www.jboss.com/index.html?module=bb&op=viewtopic&p=4090045#...
Reply to the post :
http://www.jboss.com/index.html?module=bb&op=posting&mode=reply&a...