GitHub - vaadin/platform: 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
Vaadin Framework: 5 Important Things To Know About Vaadin 10