[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-4861) Remove old KB plug-ins from build and SVN.