Vaadin 7.2 support
add javadoc, sources
add-on's page
Merge commit 'ff8d1ad1a0a7995d0692d84b0c5a601ea6e903c7'