From: Emmanuel Bourg <ebourg@apache.org>
Date: Thu, 24 Apr 2025 00:05:43 +0000 (+0200)
Subject: Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOC... 
X-Git-Tag: archive/raspbian/17.0.15+6-1_deb12u1+rpi1^2^2~20
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=4ee1f7c45ac06b0aa0db87cf60ed33827f297b78;p=openjdk-17.git

Makes the timestamp in the properties files header reproducible when SOURCE_DATE_EPOCH is specified

Forwarded: no


Gbp-Pq: Name reproducible-properties-timestamp.diff
---

diff --git a/src/java.base/share/classes/java/util/Properties.java b/src/java.base/share/classes/java/util/Properties.java
index 21b2982b8..602203d14 100644
--- a/src/java.base/share/classes/java/util/Properties.java
+++ b/src/java.base/share/classes/java/util/Properties.java
@@ -54,6 +54,9 @@ import jdk.internal.misc.Unsafe;
 import jdk.internal.util.ArraysSupport;
 import jdk.internal.util.xml.PropertiesDefaultHandler;
 
+import java.security.AccessController;
+import java.security.PrivilegedAction;
+
 /**
  * The {@code Properties} class represents a persistent set of
  * properties. The {@code Properties} can be saved to a stream
@@ -903,7 +906,7 @@ public class Properties extends Hashtable<Object,Object> {
         if (comments != null) {
             writeComments(bw, comments);
         }
-        bw.write("#" + new Date().toString());
+        bw.write("#" + getFormattedTimestamp());
         bw.newLine();
         synchronized (this) {
             for (Map.Entry<Object, Object> e : entrySet()) {
@@ -1555,4 +1558,27 @@ public class Properties extends Hashtable<Object,Object> {
         }
         this.map = map;
     }
+
+    /**
+     * Returns a formatted timestamp to be used in the properties file header.
+     * The date used is the current date, unless the SOURCE_DATE_EPOCH
+     * environment variable is specified. In this case the format used is
+     * locale and timezone insensitive to ensure the output is reproducible.
+     */
+    @SuppressWarnings("removal")
+    private String getFormattedTimestamp() {
+        String epoch = AccessController.doPrivileged(new PrivilegedAction<String>(){
+            public String run() { return System.getenv("SOURCE_DATE_EPOCH"); }
+        });
+
+        if (epoch == null) {
+            return new Date().toString();
+        } else {
+            // Use the SOURCE_DATE_EPOCH timestamp and make the format locale/timezone insensitive
+            java.text.SimpleDateFormat fmt = new java.text.SimpleDateFormat("yyyy-MM-dd HH:mm:ss z", java.util.Locale.ENGLISH);
+            fmt.setTimeZone(java.util.TimeZone.getTimeZone("UTC"));
+            Date date = new Date(1000 * Long.parseLong(epoch));
+            return fmt.format(date);
+        }
+    }
 }