PUSH and debugging timeouts

I am using Vaadin 7.1.2 with push enabled, but I was wondering if there’s a good way to tell PUSH to not timeout when debugging. That is, when I set breakpoints and such, it often seems to take “too long” and then I get messages in the logs that indicate missed/unknown push messages.

I’m not positive, but I suspect that the push communications is timing out. Is that possible? If so, is there a way to configure it so it waits longer?