Do not use special -noservlet versions of GWT JARs.

As Vaadin 7 uses Servlet API 2.4, special -noservlet versions of GWT
JARs are not needed anymore.

build/build.properties

@@ -10,10 +10,8 @@ snapshot.repository.url=http://oss.sonatype.org/content/repositories/vaadin-snap
 
 # These are required when compiling WebContent/VAADIN/widgetsets (and also
 # Java server-side classes).
-# Using special -noservlet packages to be able to use a different version of
-# the servlet specification than what the GWT JARs include.
-lib-gwt-dev=${gwt-dir}/gwt-dev-noservlet.jar
-lib-gwt-user=${gwt-dir}/gwt-user-noservlet.jar
+lib-gwt-dev=${gwt-dir}/gwt-dev.jar
+lib-gwt-user=${gwt-dir}/gwt-user.jar
 # FIXME: Should use ${gwt-version-dependencies}
 lib-gwt-validation=${gwt-dir}/validation-api-1.0.0.GA.jar
 lib-gwt-validation-src=${gwt-dir}/validation-api-1.0.0.GA-sources.jar