GitHub repository: Dobeuinc/vaadin-platform
Description: Vaadin platform 10+ is a Java web development platform based on Vaadin web components.  If you don't know to which repository your bug report should be filed, use this and we'll move it to the right one.