I've got the Portlet plugin for Eclipse, but don't know how to export it to a WAR so I can deploy it to Jboss portal. Does anyone have instructions on this?