Shortcut keys in Vaadin

Ecco un'ottima guida su come aggiungere degli shortcut a pulsanti ed altri componenti in Vaadin:
https://vaadin.com/book/-/page/advanced.shortcuts.html

Vediamo un semplice esempio nel quale definiamo uno shortcut su un pulsante, in questo caso il tasto enter:

Button ok = new Button("OK");ok.setClickShortcut(KeyCode.ENTER);