Server push (comet) based on Spring DeferredResult + jQuery long polling.