I’m trying to handle the EofException thrown by Jetty in this servlet, but my own exception handler doesn’t work. Instead, the exception is logged to the console and the while loop continues to run (even if I hit ESC on the browser to stop the event stream). Here’s the code: