[nobug] increment version of o.e.w.jsdt.web.ui in pom.xml
diff --git a/bundles/org.eclipse.wst.jsdt.web.ui/pom.xml b/bundles/org.eclipse.wst.jsdt.web.ui/pom.xml
index f1d7eca..d743ddb 100644
--- a/bundles/org.eclipse.wst.jsdt.web.ui/pom.xml
+++ b/bundles/org.eclipse.wst.jsdt.web.ui/pom.xml
@@ -22,6 +22,6 @@
 
   <groupId>org.eclipse.webtools.sourceediting</groupId>
   <artifactId>org.eclipse.wst.jsdt.web.ui</artifactId>
-  <version>1.0.700-SNAPSHOT</version>
+  <version>1.0.800-SNAPSHOT</version>
   <packaging>eclipse-plugin</packaging>
 </project>