# HG changeset patch
# User wenzelm
# Date 1625221027 -7200
# Node ID 429c1ffb5a36bd89dd533b337c7e10207ccb6edf
# Parent  07781cae0f718277a226d2d14f347185393d8e07
proper treatment of leading zero;

diff -r 07781cae0f71 -r 429c1ffb5a36 src/Tools/Setup/isabelle/setup/Build_Scala.java
--- a/src/Tools/Setup/isabelle/setup/Build_Scala.java	Fri Jul 02 12:12:43 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build_Scala.java	Fri Jul 02 12:17:07 2021 +0200
@@ -19,6 +19,7 @@
 import java.util.HashMap;
 import java.util.LinkedList;
 import java.util.List;
+import java.util.Locale;
 import java.util.Map;
 import java.util.Properties;
 import java.util.stream.Stream;
@@ -76,7 +77,7 @@
             if (exists(file)) {
                 MessageDigest sha = MessageDigest.getInstance("SHA");
                 sha.update(Files.readAllBytes(path(file)));
-                String digest = new BigInteger(1, sha.digest()).toString(16);
+                String digest = String.format(Locale.ROOT, "%040x", new BigInteger(1, sha.digest()));
                 return digest + " *" + file + "\n";
             }
             else { return ""; }