Unfortunately, Kevin James; the contributor we had for the JBossPortal IDE, decided to stop contributing before it was in a "stable" state. We are currently looking for another contributor, so if you are interested please let me know =).
Sorry to reply so late.
I definitely would like to give it a try. Even though we ourselves are short of developers, there is no harm in trying.
We are still in process of doing some POC with the JBoss Portal. Trying to understand its strength & weakness before we finalize the product for Prod use.
Please do let me know where can I download the plugin source code.