Prepare release 3.0.2

CHANGES

+v3.0.2
+------
+
 - Fix a bug causing an application to crash if no logging.properties
   could be found (*sigh*)
 
@@ -9,6 +12,9 @@ v3.0.1
 
 - Fix: applications failed to start when the system's default locale
   was unsupported.
+  Many thanks to Andrea Profili (Italy) and Miłosz Kadziński (Poland)
+  for the bug reports, and for their precious help to diagnose the
+  problem.
 
 - Now properly detects when launched with unsupported JVM (currently
   v9 and v10), and informs the user before exiting.

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.1"/>
+  <property name="praxis.version" value="3.0.2"/>
   <!-- If not called from an other project setting praxis.home, define it.
        In details:
        - it is unset when directly building the jars of Praxis,

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.1";
+	public static final String release              = "3.0.2";
 
-	public static final String release_date         = "2018-07-25";
+	public static final String release_date         = "2018-07-26";
 
 	public static final int    application_revision = Configuration.getInt("revision");