--- a/src/Pure/Tools/fontforge.scala Sat Jun 01 12:31:06 2024 +0200 +++ b/src/Pure/Tools/fontforge.scala Sat Jun 01 12:35:38 2024 +0200 @@ -8,7 +8,6 @@ package isabelle -import java.io.{File => JFile} import java.util.Locale