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