diff --git a/pom.xml b/pom.xml
index 149e6bf82d2..b1d0ea54e56 100644
--- a/pom.xml
+++ b/pom.xml
@@ -440,7 +440,8 @@
             <target>${cs.jdk.version}</target>
 			<fork>true</fork>
           	<meminitial>128m</meminitial>
-          	<maxmem>512m</maxmem>            
+          	<maxmem>512m</maxmem> 
+          	<compilerArgument>-XDignore.symbol.file=true</compilerArgument>            
           </configuration>
         </plugin>
       <plugin>