diff options
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index a817945afd..1cc3caaeb9 100644 --- a/build/build.xml +++ b/build/build.xml @@ -134,7 +134,7 @@ <echo>Java Servlet API is available.</echo> <available classpathref="compile.classpath" classname="javax.servlet.ServletRequestListener" property="servlet.version.is-2.4"/> - <!--<fail if="servlet.version.is-2.4" message="Java Servlet API 2.4 or later detected. Vaadin must be compiled exactly with Servlet API 2.3."/>--> + <fail if="servlet.version.is-2.4" message="Java Servlet API 2.4 or later detected. Vaadin must be compiled exactly with Servlet API 2.3."/> <echo>Java Servlet API specification 2.3 used.</echo> </target> |