[jbosstools-commits] JBoss Tools SVN: r4935 - tags/BEFORE-JBIDE-1322-FIX-WAS-COMMITED.