[teiid-designer-issues] [JBoss JIRA] Resolved: (TEIIDDES-848) Undo/Redo operations on Teiid Designer diagram eventually end with empty xmi file