--- a/src/Pure/Admin/build_vscodium.scala Sat Mar 05 16:27:59 2022 +0100
+++ b/src/Pure/Admin/build_vscodium.scala Sat Mar 05 20:01:23 2022 +0100
@@ -9,7 +9,6 @@
import java.security.MessageDigest
import java.util.Base64
-import java.io.{File => JFile}
object Build_VSCodium