}
private Cookie getSessionCookie() {
if (session_cookie_ == null) {
session_cookie_ = new SessionCookie();
}
session_cookie_.setId("default", session_.getId());
Cookie cookie = new Cookie(SESSION_COOKIE_NAME,
session_cookie_.toString());
cookie.setPath("/");