Using -XX:-UseSplitVerifier in JUnit for java 7 compatability (see http://stackoverflow.com/questions/8638143/how-do-i-get-unit-test-to-run-in-java-7-java-lang-verifyerror-expecting-a-stac)