[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-5532) jBPM insufficient process definition renaming