4.0.0 org.overturetool.core testing 3.0.2 ../pom.xml org.overturetool.core.testing framework Overture Testing Framework org.overturetool.core ast ${project.version} org.overturetool.core parser ${project.version} org.overturetool.core typechecker ${project.version} junit junit 4.11 commons-io commons-io 2.4 org.apache.commons commons-collections4 4.0 com.google.code.gson gson 2.2.4