[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-4816) Dump Source give us different results before and after refresh