See test/modenatest/ModenaTest.java file for more information.