Merge branch 'hotfix/1.7.1'

CHANGES

+v1.7.1
+------
+
+(changes in GUI only)
+
 v1.7
 ----
 

src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java

@@ -7,15 +7,15 @@ package eu.telecom_bretagne.praxis.common;
  */
 public abstract class ReleaseInfo
 {
-	public static final String release              = "1.7";
+	public static final String release              = "1.7.1";
 
 	public static final int    revision             = 0;
 
 	public static final int    application_revision = Configuration.getInt("revision");
 
-	public static final String release_date         = "2012-08-10";
+	public static final String release_date         = "2012-08-12";
 
-	public static final String package_date         = "2012-08-10";
+	public static final String package_date         = "2012-08-12";
 
 	/**
 	 * Returns a array of three strings: the release, the application_revision number, and the release date