[jbosstools-issues] [JBoss JIRA] (JBDS-4561) update subclipse 4.2.3.201707071932 / svnkit 1.8.15.r10636 in Central?