declare namespace org { namespace eclipse { namespace jetty { namespace server { namespace session { class HashSessionIdManager extends org.eclipse.jetty.server.session.AbstractSessionIdManager { public constructor() public constructor(arg0: java.util.Random) public getSessions(): java.util.Collection public getSession(arg0: java.lang.String | string): java.util.Collection protected doStart(): void protected doStop(): void public idInUse(arg0: java.lang.String | string): boolean public addSession(arg0: javax.servlet.http.HttpSession): void public removeSession(arg0: javax.servlet.http.HttpSession): void public invalidateAll(arg0: java.lang.String | string): void public renewSessionId(arg0: java.lang.String | string, arg1: java.lang.String | string, arg2: javax.servlet.http.HttpServletRequest): void public static class: java.lang.Class } } } } } }