diff --git a/releng.wtpbuilder/distribution/wtp.tests/build.xml b/releng.wtpbuilder/distribution/wtp.tests/build.xml
index 0087c814410e0aec14a33eaa3de61a41bdba5a5e..0ef1aea67f9c11e456c0381ffec6fb9c247a18b6 100644
--- a/releng.wtpbuilder/distribution/wtp.tests/build.xml
+++ b/releng.wtpbuilder/distribution/wtp.tests/build.xml
@@ -221,6 +221,8 @@
                 value="-Xms512m" />
             <jvmarg
                 value="-Xmx1024m" />
+            <jvmarg
+                value="-Xverify" />
             <jvmarg
                 value="-Dosgi.ws=${env.BASEWS}" />
             <jvmarg