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