code: public void killSession(CmsObject cms, CmsUser user) throws CmsException {
  
          OpenCms.getRoleManager().checkRole(cms, CmsRole.ACCOUNT_MANAGER);
          List<CmsSessionInfo> infos = getSessionInfos(user.getId());
          for (CmsSessionInfo info : infos) {
              m_sessionStorageProvider.remove(info.getSessionId());
          }
      }
docs: Kills all sessions for the given user.<p>
  
  @param cms the current CMS context
  @param user the user for whom the sessions should be killed
  
  @throws CmsException if something goes wrong