[portal-commits] JBoss Portal SVN: r13002 - branches/JBoss_Portal_Branch_2_7/core/src/resources/portal-server-war.