public static PortletHolder getPortlet(HttpServletRequest request, String portletName) {
HttpSession session = request.getSession(true);
PortletHolder bean = (PortletHolder)session.getAttribute(portletName);
if (bean == null) {
PortletHolder legacy = portletPool.get(portletName);
session.setAttribute(portletName, bean = legacy.clone());
}
return bean;
}