src/jdk.jextract/share/classes/com/sun/tools/jextract/JarWriter.java

*** 52,62 ****
      }
  
      public void writeJarFile(JarOutputStream jar, String[] args) {
          writer.results().forEach((cls, bytes) -> {
                  try {
!                     String path = cls.replace('.', File.separatorChar) + ".class";
                      log.print(Level.FINE, () -> "Add " + path);
                      jar.putNextEntry(new ZipEntry(path));
                      jar.write(bytes);
                      jar.closeEntry();
                  } catch (IOException ioe) {
--- 52,62 ----
      }
  
      public void writeJarFile(JarOutputStream jar, String[] args) {
          writer.results().forEach((cls, bytes) -> {
                  try {
!                     String path = cls.replace('.', '/') + ".class";
                      log.print(Level.FINE, () -> "Add " + path);
                      jar.putNextEntry(new ZipEntry(path));
                      jar.write(bytes);
                      jar.closeEntry();
                  } catch (IOException ioe) {