modified:   server/src/com/vaadin/server/ServletPortletHelper.java