title: Get current servlet request in Vaadin 7.6?
body: <p>Vaadin dev <a href="http://dev.vaadin.com/ticket/9505" rel="nofollow">ticket # 9505</a> says that <code>getCurrent…</code> methods have been added for getting the current VaadinServlet, VaadinPortlet, and so on.</p>
  
  <p>Yet I do not see any such methods in the class doc. For example, these two pages:</p>
  
  <ul>
  <li><a href="https://vaadin.com/api/com/vaadin/server/VaadinServletRequest.html" rel="nofollow">https://vaadin.com/api/com/vaadin/server/VaadinServletRequest.html</a></li>
  <li><a href="https://vaadin.com/api/com/vaadin/server/VaadinRequest.html" rel="nofollow">https://vaadin.com/api/com/vaadin/server/VaadinRequest.html</a></li>
  </ul>