A server-side MediaElement.js player component for Vaadin