[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-7319) Save state of Seam and KB models only at saving Eclipse workspace rather than after each build