4.0.0 org.graphwalker graphwalker-project 4.2.0 graphwalker-model-checker GraphWalker Checker https://github.com/GraphWalker/graphwalker-project scm:git:git://github.com:GraphWalker/graphwalker-project.git scm:git:git@github.com:GraphWalker/graphwalker-project.git org.graphwalker graphwalker-core org.graphwalker graphwalker-io test com.google.guava guava