Range Slider: What to use?

[rucko24 (Rubén Espinoza)]

looks pretty good, It would be nice to have it in the Vaadin addons repo.