Why not just download and unpack the Portal zip file? That's what I do. View the original post : http://www.jboss.org/index.html?module=bb&op=viewtopic&p=4235856#4235856 Reply to the post : http://www.jboss.org/index.html?module=bb&op=posting&mode=reply&p=4235856