4.0.0 viatra2-core org.eclipse.viatra2 0.0.1-SNAPSHOT org.eclipse.viatra2 org.eclipse.viatra2.help 3.3.0-SNAPSHOT eclipse-plugin