在 Vaadin 7.6 中获取当前的 servlet 请求?

Get current servlet request in Vaadin 7.6?

Vaadin dev ticket # 9505 表示已添加 getCurrent… 方法来获取当前的 VaadinServlet、VaadinPortlet 等。

但是我在 class 文档中没有看到任何此类方法。比如这两个页面:

他们在: