JavaMelody and Spring Session

Question

We use Spring-session. And we use JavaMelody for monitoring sessions.

JavaMelody uses net.bull.javamelody.SessionListener for monitoring sessions. It is implementation of HttpSessionListener from servlet API.

Spring-session have SessionEventHttpSessionListenerAdapter for capability with servlet api session listeners. It listens Spring session events and submit http session events. Wherein it creates ExpiringSessionHttpSession (wrapper for spring session).

private HttpSessionEvent createHttpSessionEvent(AbstractSessionEvent event) {
    ExpiringSession session = event.getSession();
    HttpSession httpSession = new ExpiringSessionHttpSession<ExpiringSession>(session,
                this.context);
    HttpSessionEvent httpSessionEvent = new HttpSessionEvent(httpSession);
    return httpSessionEvent;
}

We use SessionEventHttpSessionListenerAdapter for working net.bull.javamelody.SessionListener. Spring sessions successful displays in JavaMelody sessions view.

But we have a problem. JavaMelody button "invalidate session" doesn't work correct. JavaMelody uses http session method invalidate for handling this button. The implementation method in ExpiringSessionHttpSession (part of Spring) looks like dummy:

public void invalidate() {
    checkState();
    this.invalidated = true;
}

In facts, it only set invalidate = true in adapter, but it is not invalidate session in Spring session registry. Real spring session continues be valid, and user can be used this session.

Could you have solution for this problem?

I found some solution but I don't think that it's good. We can override spring SessionEventHttpSessionListenerAdapter and ExpiringSessionHttpSession. And we can override method invalidate (adding call session registry). In this case, JavaMelody will invalidate session in registry.

Probably exists solution is better. I would be glad to get it.