From 30f4b3a7e87f6d89d36dad63d8c5a8d065050563 Mon Sep 17 00:00:00 2001
From: Andreas Enge <andreas@enge.fr>
Date: Mon, 20 Mar 2023 18:59:48 +0100
Subject: [PATCH] gnu: openjdk10: Apply patch again.

This partially reverts commit 7636c49b45adb9870cf416c64bde032ec858a820
where the patch was dropped.

* gnu/packages/java.scm (openjdk10)[source]: Apply patch.
---
 gnu/packages/java.scm | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index 7cf4a4fb4b..de3a0003e5 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -1045,7 +1045,9 @@ (define-public openjdk10
                                     (find-files "." ".*.(bin|exe|jar)$"))))
               (sha256
                (base32
-                "0i47ar8lxzjrkkiwbzybfxs473390h4jq9ahm3xqdvy5zpchxy3y"))))
+                "0i47ar8lxzjrkkiwbzybfxs473390h4jq9ahm3xqdvy5zpchxy3y"))
+              (patches (search-patches
+                        "openjdk-10-idlj-reproducibility.patch"))))
     (arguments
      (substitute-keyword-arguments (package-arguments openjdk9)
        ((#:phases phases)