[jbosstools-issues] [JBoss JIRA] (JBIDE-18879) Replace With -> Local History ... doesn't change editor content.