[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-4853) AutoRefresh doesn't work after Select All and source edit