[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-9646) org.eclipse.bpel.apache.ode.deploy.ui has no provider or plugin name