NullPointerException in MyFacesGenericPortlet.facesRender method

Here are the steps to reproduce:

1) Submit a form inside of JSF-based portlet (in other words generate a Faces request)
2) Hit JBoss Portal URL page URL (I believe this causes the page and portlets to re-render)
3) Hot-redeploy WAR file containg the portlet.

You no can't get to the page because the portlet throws a NPE. Here is partial stack trace:

java.lang.NullPointerException
at org.apache.myfaces.portlet.MyFacesGenericPortlet.facesRender(MyFacesGenericPortlet.java:393)
at org.apache.myfaces.portlet.MyFacesGenericPortlet.doView(MyFacesGenericPortlet.java:266)
at javax.portlet.GenericPortlet.doDispatch(GenericPortlet.java:154)
at javax.portlet.GenericPortlet.render(GenericPortlet.java:394)
at org.jboss.portal.portlet.PortletContainer.invokeRender(PortletContainer.java:499)
at org.jboss.portal.portlet.PortletContainer.dispatch(PortletContainer.java:416)

The problem seems to be that FacesContextImpl object is no longer in PortletSession even though the PortletSession itself is present. This is probably a bug in JBoss Portal. However, facesRender method should check for null FacesContextImpl and treat it as a non-Faces request (just like when PortletSession times out).