[Ganymede] Plug-ins declaring extensions or extension points must set the singleton directive to true ----------------------------------------------------------------------------------------------------- Key: JBIDE-2139 URL: https://issues.redhat.com/browse/JBIDE-2139 Project: Tools (JBoss Tools) Issue Type: Sub-task Components: common Reporter: Max Andersen Priority: Major PDE is now enforcing this rule. Use quickfix and you get ;singleton:=true added in manifest.mf