fichero externo javascript

Buenas noches.
Quiero incluir un fichero javascript de funciones en mi proyecto Vaadin, pero no se como hacerlo…

David,
http://vaadin.com/download/release/7.1/7.1.12/docs/api/com/vaadin/annotations/JavaScript.html