Update and rename CheckThemALL.java to com.theoremsandstuff.tptp.parser.tests/src/org/xtext/example/mydsl/tests/CheckThemALL.java