Great addon - should be included in Vaadin by default, as it is trivial and

Great addon - should be included in Vaadin by default, as it is trivial and useful.