Weird push warning for MPR + Vaadin 7 app

I get the following warning when I logout ( close all UIs for this session, and invalidate session ):

  • Could not find push connection to close: 9bc60840-e98c-4f33-829f-2a0d71c23306 with transport WEBSOCKET

Could it suggest a problem? What does it mean?

I am running with “mvn jetty:run” in Eclipse, and my platform version is the latest, 14.0.7. For Vaadin 7, I am using the latest free public release, 7.7.17. I see this warning going back multiple years, but don’t really understand the answers.