[jbosstools-commits] JBoss Tools SVN: r13269 - branches/jbosstools-3.0.0.CR2/as/plugins/org.jboss.ide.eclipse.as.ui/jbossui/org/jboss/ide/eclipse/as/ui/views/server/extensions.