Vaadin add-on for manipulating widget element attributes