Fix portlet manager when an add-on is not available

    This fix makes page work even if a portlet that was
    provided by a third party add-on is no longer available,
    and logs about such problems into the event log.