As requested by Joonas and others on the Vaadin team
, it's now possible to access the list of Vaadin versions, and choose one, which will then be downloaded, when creating Vaadin-based web applications in the IDE:
When you click the "Download" button, you see info parsed from this handy file that the Vaadin team made available for these purposes, as shown below:
I checked in an initial version of the above functionality into the Vaadin repo on Kenai. Some fixing and testing needs still to be done. Then the binary will be made available.