From a443863469e33736876b629c36ed52844ab5a65d Mon Sep 17 00:00:00 2001
From: daxzel <andreytsarevskiy@gmail.com>
Date: Wed, 3 Jul 2013 16:30:42 +0400
Subject: [PATCH] Vaadin version fix

---
 pom.xml | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/pom.xml b/pom.xml
index 9cbd161..12f7443 100644
--- a/pom.xml
+++ b/pom.xml
@@ -11,8 +11,7 @@
 
     <properties>
         <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
-        <vaadin.version>7.1.0.h.M0</vaadin.version>
-        <plugin.vaadin.version>7.1.0</plugin.vaadin.version>
+        <vaadin.version>7.1.0</vaadin.version>
         <vaadin.plugin.version>${vaadin.version}</vaadin.plugin.version>
         <jdkVersion>1.7</jdkVersion>
     </properties>
@@ -134,7 +133,7 @@
             <plugin>
                 <groupId>com.vaadin</groupId>
                 <artifactId>vaadin-maven-plugin</artifactId>
-                <version>${plugin.vaadin.version}</version>
+                <version>${vaadin.plugin.version}</version>
                 <configuration>
                     <extraJvmArgs>-Xmx512M -Xss1024k</extraJvmArgs>
                     <webappDirectory>${basedir}/WebContent/VAADIN/widgetsets