public void setActiveContext(ContextType context, Object contextobj) {
        //TODO: type safety.
        if ((m_context != context) || (m_contextobj != contextobj)) {
            m_context = context;
            m_contextobj = contextobj;
            UserContextUpdatedAppEvent event = new UserContextUpdatedAppEvent();
            event.publish();
        }
    }