** Named servlets
** Changed SessionMutexFilter to apply only to specified servlets