Thanks. Unfortunately according to the roadmap, Vaadin 7.2 is set to be released next year. I can’t just stop working for the next four or five months. The best temporary solution I can think of is to periodically update my servers-side UI, which unfortunately means that the information will already be stale by the time the poll happens on some other schedule. 