[PATCH] Upgrade to SmartGWT 3.1 (bugfix Release) as this did at least not seem to cause any problems

[Wald Commits]

# HG changeset patch
# User "Tom Gottfried <tom at intevation.de>"
# Date 1401213373 -7200
# Node ID 7d4bbe5ca102623c41cb4b4ad76432c57d3514ae
# Parent  a7b218447e128e41c9ff2e981ea2d233e6b696ea
Upgrade to SmartGWT 3.1 (bugfix Release) as this did at least not seem to cause any problems.

diff -r a7b218447e12 -r 7d4bbe5ca102 gwt-client/pom.xml
--- a/gwt-client/pom.xml	Mon May 26 17:00:28 2014 +0200
+++ b/gwt-client/pom.xml	Tue May 27 19:56:13 2014 +0200
@@ -40,7 +40,7 @@
     <dependency>
       <groupId>com.smartgwt</groupId>
       <artifactId>smartgwt</artifactId>
-      <version>3.0</version>
+      <version>3.1</version>
     </dependency>
     <dependency>
       <groupId>org.dive4elements</groupId>