Bundle-SymbolicName: org.overture.ide.parsers.vdmj;singleton:=true Bundle-Version: 2.5.0