[jbosstools-commits] JBoss Tools SVN: r16011 - in trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe: editor/mozilla and 1 other directories.