// we search for all params looking for one session element
// maybe more efficient because we don't build Patterns any time
//String[] params = msg.getParamNames();
// The Session ID list option param
OptionsParam options = Model.getSingleton().getOptionsParam();
HttpSessionsParam sessionOptions =
(HttpSessionsParam) options.getParamSet(HttpSessionsParam.class);
// Loop on all possible
// session id variables (looking all along the url)
// -----------------------------------------------------
// We've to rebuild every time the patterns because