Changes to be committed:
	modified:   server/build.xml
	modified:   server/src/com/vaadin/server/BootstrapHandler.java
Changes to be committed:
	modified:   gwt-files.xml
Merge branch '7.1.x'