Experimenting with some HTML parsing using Vaadin