[jbosstools-issues] [JBoss JIRA] (JBIDE-13629) egit 2.3.0 is borked, use 2.3.1 instead