Bundle-SymbolicName: org.overture.ide.plugins.rttraceviewer;singleton:=true Bundle-Version: 3.0.2