[root]/org.openiaml.verification.nusmv.tests/META-INF
0.6 release: updating all plugin versions
1 lines of code changed in 2 files: