[jbosstools-commits] JBoss Tools SVN: r31800 - in branches/jbosstools-3.2.x/as/plugins: org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/editor and 1 other directory.