Temporary removed api version check (#3810)

svn changeset:10452/svn branch:6.3

diff --git a/build/build.xml b/build/build.xml
index 4cbc0c5e809208e8f5dbf094296aad12d7057bb3..a6b7e65ecf2fde7f4611cbaa9d4d2c19ad9e339c 100644 (file)
--- 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>