[jbosstools-issues] [JBoss JIRA] (JBIDE-19992) Open Properties view on double click of elemet in batch diagram