package test;

import org.junit.runner.RunWith;
import org.junit.runners.Suite;

@RunWith(Suite.class)
@Suite.SuiteClasses({ProverStateMachineTests.class,
                     StaticValidationTests.class, 
                     })
public class AllTests {
    
}

@@ -207,10 +207,8 @@
 lass
-, 
 %0D%0A  

Removing a comma that reportedly caused a compilation problem in some non-Eclipse compiler.