4.0.0 org.walkmod model-checker 1.0 Walkmod library to apply constraints to the AST https://github.com/rpau/javalang GNU General Public License (GPL v.3) http://www.gnu.org/licenses/gpl.txt UTF-8 UTF-8 UTF-8 org.apache.maven.plugins maven-compiler-plugin 2.3.2 1.6 1.6 org.apache.maven.plugins maven-javadoc-plugin 2.9.1 attach-javadocs jar aggregate -Xdoclint:none org.apache.maven.plugins maven-source-plugin attach-sources jar model-checker https://github.com/walkmod/model-checker https://github.com/walkmod/walkmod-checker.git rpau rpau raquelpau@gmail.com