# HG changeset patch
# User wenzelm
# Date 1609672316 -3600
# Node ID 03e78b35ebbc2da87efd823db32a590236261815
# Parent  43c534bba4428294d162a7dfa488cb0f97b5f1ba
more robust bootstrap: Isabelle-jEdit.shasum could be absent;

diff -r 43c534bba442 -r 03e78b35ebbc src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Sat Jan 02 23:03:47 2021 +0100
+++ b/src/Pure/Tools/scala_project.scala	Sun Jan 03 12:11:56 2021 +0100
@@ -38,6 +38,7 @@
           List(
             Path.explode("~~/lib/classes/Pure.shasum"),
             Path.explode("~~/src/Tools/jEdit/dist/Isabelle-jEdit.shasum"))
+        if path.is_file
         line <- Library.trim_split_lines(File.read(path))
         name =
           if (line.length > 42 && line(41) == '*') line.substring(42)