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

Bas*_*que 1 servlets vaadin

Vaadin dev 票#9505表示getCurrent…已添加方法以获取当前的VaadinServlet,VaadinPortlet等.

但是我没有在课程文档中看到任何这样的方法.例如,这两页: