From 09011e5237ec595095c06f8468a6690503754c5d Mon Sep 17 00:00:00 2001
From: rjung
The name to be used for all session cookies created for this
+ context. If set, this overrides any name set by the web application.
+ If not set, the value specified by the web application, if any, will be
+ used, or the name JSESSIONID if the web application does
+ not explicitly set one.
The path to be used for all session cookies created for this context. If set, this overrides any path set by the web application. -- 2.11.0