Bundle-SymbolicName: org.overturetool.vdm2c.ide.cgen;singleton:=true Bundle-Version: 0.1.17.201711290932