[jbosstools-commits] JBoss Tools SVN: r15812 - in trunk/as/plugins/org.jboss.ide.eclipse.as.wtp.override.ui/src/org/jboss/ide/eclipse/as/wtp/override: ui and 1 other directory.