Prepare release 3.1

CHANGES

+v3.1
+----
+
 - Auto-detection of proxy settings is now available.
 
 - Fix a bug which prevented executions when

build.xml

@@ -7,7 +7,7 @@
     <format property="build.time" pattern="yyyy-MM-dd'T'hh:mm:ss.SSSZ"/>
   </tstamp>
 
-  <property name="praxis.version" value="3.0.2"/>
+  <property name="praxis.version" value="3.1"/>
   <!-- If not called from an other project setting praxis.home, define it.
        In details:
        - it is unset when directly building the jars of Praxis,

build/DATE

-2018-07-26
+2019-05-09

build/VERSION

-3.0.2
+3.1

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

@@ -7,9 +7,9 @@ package eu.telecom_bretagne.praxis.common;
  */
 public abstract class ReleaseInfo
 {
-	public static final String release              = "3.0.2";
+	public static final String release              = "3.1";
 
-	public static final String release_date         = "2018-07-26";
+	public static final String release_date         = "2019-05-09";
 
 	public static final int    application_revision = Configuration.getInt("revision");