Bundle-SymbolicName: org.overture.ide.vdmpp.ui;singleton:=true Bundle-Version: 2.6.5.201909061258