# HG changeset patch
# User wenzelm
# Date 1625775691 -7200
# Node ID cc49da3003aa03e42574b4ffc348839ba014f363
# Parent  714c267bb6fa5d3c13aeb75408576a92578667bf
more robust;

diff -r 714c267bb6fa -r cc49da3003aa src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 08 22:17:20 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Thu Jul 08 22:21:31 2021 +0200
@@ -193,11 +193,13 @@
                 boolean is_file = Files.isRegularFile(path);
                 if (is_dir || is_file) {
                     String name = Environment.slashes(dir.relativize(path).toString());
-                    JarEntry entry = new JarEntry(is_dir ? name + "/" : name);
-                    entry.setTime(path.toFile().lastModified());
-                    out.putNextEntry(entry);
-                    if (is_file) { out.write(Files.readAllBytes(path)); }
-                    out.closeEntry();
+                    if (!name.isEmpty()) {
+                        JarEntry entry = new JarEntry(is_dir ? name + "/" : name);
+                        entry.setTime(path.toFile().lastModified());
+                        out.putNextEntry(entry);
+                        if (is_file) { out.write(Files.readAllBytes(path)); }
+                        out.closeEntry();
+                    }
                 }
             }
         }