build: update version to 2.5.1

Author: paodb

enhanced-rich-text-editor-demo/pom.xml

@@ -9,7 +9,7 @@
 
     <name>Enhanced Rich Text Editor Demo</name>
 
-    <version>2.5.0</version>
+    <version>2.5.1</version>
 
     <inceptionYear>2019</inceptionYear>
     <organization>

enhanced-rich-text-editor/pom.xml

@@ -9,7 +9,7 @@
 
     <name>Enhanced Rich Text Editor</name>
 
-    <version>2.5.0</version>
+    <version>2.5.1</version>
     <inceptionYear>2019</inceptionYear>
     <organization>
         <name>Vaadin Ltd</name>

pom.xml

@@ -8,7 +8,7 @@
     <groupId>com.vaadin.componentfactory</groupId>
     <artifactId>enhanced-rich-text-editor-root</artifactId>
     <packaging>pom</packaging>
-    <version>2.5.0</version>
+    <version>2.5.1</version>
     <name>EnhancedRich Text Editor Root</name>
     <inceptionYear>2018</inceptionYear>