[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-4919) Add 'Override properties from hibernate.properties' action to Hibernate Configuration.xml editor