Hi,
I just blogged about the topic. I’ll discuss on various options and especially about differences of “real” push add-ons. If you are wondering how you should keep you UI up to date I’d suggest to read this post:
Blog post about Vaadin push solutions
cheers,
matti