[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>