[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-813) java.lang.NullPointerException after replace code in Editor with Local History