NullPointerException in JDBCSessionIdManager when invalidating session

There is a NullPointerException when one attempts to invalidate a session:

request.getSession().invalidate();

The source of the exception is line 374 (in version 7.1.6) of JDBCSessionIdManager.java:

http://download.eclipse.org/jetty/stable-7/xref/org/eclipse/jetty/server/session/JDBCSessionIdManager.html#374

I refactored the code around that line into a more debuggable form:
------------------------------------------------------------------------
Handler[] x = jettyServer.getChildHandlersByClass(ContextHandler.class);
for(int i = 0; x != null && i < x.length; i++)

{ ContextHandler ch = (ContextHandler) x[i]; SessionHandler sh = (SessionHandler) ch.getChildHandlerByClass(SessionHandler.class); SessionManager sm = sh.getSessionManager(); // CRASH! // Original code continues below... }

------------------------------------------------------------------------

Running this code causes a NullPointerException on the indicated line. The code seems to be wrongfully assuming that every ContextHandler has a SessionHandler associated to it. getChildHandlerByClass() presumably returns a NULL if no child handler of the specified class can be found. Predictably, calling getSessionManager() on this NULL pointer causes a run-time exception to be thrown.

I propose to modify the code inside the for() loop:
------------------------------------------------------------------------
SessionHandler handler = ((SessionHandler)((ContextHandler)contexts[i])
.getChildHandlerByClass(SessionHandler.class));

if(handler == null)

{ /* No associated session handler, skip this child handler */ continue; }

SessionManager = handler.getSessionManager();
------------------------------------------------------------------------