JBoss Developer Studio (JBDS) has support for Enterprise Portal Platform (EPP) and JBoss Portal. It allows you to develop generic portlet as well as JSF, Richfaces, Seam portlets.