4.0.0 plugin Tweety (Plugin Project) net.sf.tweety parent-pom 1.17 jspf core 1.0.2 net.sf.tweety math 1.17