Permitir que el usuario descargue un fichero generado por la aplicación web

Hola

Alguien sabría decirme como puedo hacer para que el usuario pueda descargar ficheros que se generan en el servidor.

Mi intención es que, al seleccionar una opción de un desplegable, se abra una ventana que permita al usuario decidir la ubicación y el nombre del archivo. Este archivo se genera al seleccionar la opción, por lo que espero que no sea necesario almacenarlo en el servidor y se pueda utilizar un Stream de Java IO.

Que tal,

https://vaadin.com/docs/v8/framework/articles/LettingTheUserDownloadAFile.html

Gracias por responder, pero en Vaadin 13 no existe el FileDownloader. Encontré en este [post]
(https://vaadin.com/forum/thread/17434646/vaadin-10-let-user-download-a-file-with-dynamically-defined-filename) la solución.