я чет сходу не соображу, как поменять имя куки с JSESSIONID на что-нибудь еще? :)