[jbosstools-commits] JBoss Tools SVN: r3723 - trunk/as/plugins/org.jboss.ide.eclipse.as.core.