Ignore Test.java in stateSpaceReduction. Added javadocs to classes.