@Override
 public SessionCookieConfig getSessionCookieConfig() {
   if (SecurityUtil.isPackageProtectionEnabled()) {
     return (SessionCookieConfig) doPrivileged("getSessionCookieConfig", null);
   } else {
     return context.getSessionCookieConfig();
   }
 }
 /**
  * Gets the <tt>SessionCookieConfig</tt> object through which various properties of the session
  * tracking cookies created on behalf of this <tt>ServletContext</tt> may be configured.
  */
 @Override
 @SuppressWarnings("unchecked") // doPrivileged() returns the correct type
 public SessionCookieConfig getSessionCookieConfig() {
   if (SecurityUtil.isPackageProtectionEnabled()) {
     return (SessionCookieConfig) doPrivileged("getSessionCookieConfig", null);
   } else {
     return context.getSessionCookieConfig();
   }
 }