[jbosstools-commits] JBoss Tools SVN: r8716 - trunk/ws.