JAL-1448 reinstate non-locale sensitive code for reading/writing last read date from...

diff --git a/src/jalview/bin/Cache.java b/src/jalview/bin/Cache.java
index 2dfeb51..b07593d 100755 (executable)
--- a/src/jalview/bin/Cache.java
+++ b/src/jalview/bin/Cache.java
@@ -18,13 +18,13 @@
  */
 package jalview.bin;
 
-import jalview.util.MessageManager;
 import jalview.ws.dbsources.das.api.DasSourceRegistryI;
 import jalview.ws.dbsources.das.datamodel.DasSourceRegistry;
 
 import java.awt.Color;
 import java.io.*;
 import java.text.DateFormat;
+import java.text.SimpleDateFormat;
 import java.util.*;
 
 import org.apache.log4j.*;
@@ -781,7 +781,8 @@ public class Cache
     setProperty(property, jalview.util.Format.getHexString(colour));
   }
 
-  public static final DateFormat date_format = DateFormat.getDateInstance(DateFormat.LONG,MessageManager.getLocale());
+  public static final DateFormat date_format = SimpleDateFormat
+          .getDateTimeInstance();
 
   /**
    * store a date in a jalview property

diff --git a/src/jalview/gui/BlogReader.java b/src/jalview/gui/BlogReader.java
index da92179..8326e35 100644 (file)
--- a/src/jalview/gui/BlogReader.java
+++ b/src/jalview/gui/BlogReader.java
@@ -352,7 +352,7 @@ public class BlogReader extends JPanel
     java.util.Date earliest = null;
     try
     {
-      earliest = new SimpleDateFormat("YYYY-MM-DD",MessageManager.getLocale()).parse(chan
+      earliest = new SimpleDateFormat("YYYY-MM-DD").parse(chan
               .getHTTPLastModified());
     } catch (Exception x)
     {