preventing travis to kill tests because of high memory consumption
preventing travis to kill tests because of high memory consumption

ftomassetti/java-symbol-solver,ftomassetti/java-symbol-solver,rpau/java-symbol-solver,rpau/java-symbol-solver,javaparser/javasymbolsolver,xdrop/java-symbol-solver,javaparser/javasymbolsolver,xdrop/java-symbol-solver