gwtexpui 1.2.5

Change-Id: Iccbabf11d5572fc03c2e7cc4847a74cc1b88f86e

pom.xml

diff --git a/pom.xml b/pom.xml
index 7f4b142..8bd6f85 100644
--- a/pom.xml
+++ b/pom.xml
@@ -21,7 +21,7 @@
   <groupId>gwtexpui</groupId>
   <artifactId>gwtexpui</artifactId>
   <packaging>jar</packaging>
-  <version>1.2.4</version>
+  <version>1.2.5</version>
   <name>gwtexpui</name>
   <description>Extended UI tools for GWT</description>
   <url>http://android.git.kernel.org/?p=tools/gwtexpui.git</url>