for for RFC5322 comformance as suggested by Quix0r in http://forum.yacy-websuche.de/viewtopic.php?p=19585#p19585

git-svn-id: https://svn.berlios.de/svnroot/repos/yacy/trunk@6754 6c8d7289-2bf4-0310-a012-ef5d649a1542

source/net/yacy/kelondro/util/DateFormatter.java

@@ -44,7 +44,8 @@ public final class DateFormatter {
     public static final String PATTERN_SHORT_MILSEC = "yyyyMMddHHmmssSSS";
     
     /** default HTTP 1.1 header date format pattern */
-    public static final String PATTERN_RFC1123 = "EEE, dd MMM yyyy HH:mm:ss zzz";
+    public static final String PATTERN_RFC1123 = "EEE, dd MMM yyyy HH:mm:ss Z"; // with numeric time zone indicator as defined in RFC5322
+    
     /** date pattern used in older HTTP implementations */
     public static final String PATTERN_ANSIC   = "EEE MMM d HH:mm:ss yyyy";
     /** date pattern used in older HTTP implementations */
@@ -71,7 +72,6 @@ public final class DateFormatter {
     
     /** Date formatter/parser for standard compliant HTTP header dates (RFC 1123) */
     private static final SimpleDateFormat FORMAT_RFC1123      = new SimpleDateFormat(PATTERN_RFC1123, Locale.US);
-    
     private static final SimpleDateFormat FORMAT_RFC1036      = new SimpleDateFormat(PATTERN_RFC1036, Locale.US); 
     private static final SimpleDateFormat FORMAT_ANSIC        = new SimpleDateFormat(PATTERN_ANSIC, Locale.US);