[jbosstools-commits] JBoss Tools SVN: r9384 - trunk/vpe/plugins/org.jboss.tools.vpe/src/org/jboss/tools/vpe/editor.