[jboss-jira] [JBoss JIRA] Resolved: (JBPORTAL-781) problem with portlet hot deployment