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

@@ -97,11 +97,11 @@
     // main entry point that generates & saves .java files for the header file
     public void generate(List<Tree> decls) {
         global_jsb.addPackagePrefix(headerFile.pkgName);
 
         Map<String, Object> header = new HashMap<>();
-        header.put("path", headerFile.path.toAbsolutePath().toString().replace("\\", "\\\\"));
+        header.put("path", headerFile.path.toAbsolutePath().toString());
         if (!libraryNames.isEmpty()) {
             header.put("libraries", libraryNames.toArray(new String[0]));
             if (libraryPaths != null && !libraryPaths.isEmpty()) {
                 header.put("libraryPaths", libraryPaths.toArray(new String[0]));
             }

@@ -166,11 +166,11 @@
     private void addNativeLocation(boolean align, JavaSourceBuilder jsb, SourceLocation src) {
         if (! noNativeLocations) {
             SourceLocation.Location loc = src.getFileLocation();
             Path p = loc.path();
             Map<String, Object> fields = new HashMap<>();
-            fields.put("file", p == null ? "<builtin>" :  p.toAbsolutePath().toString().replace("\\", "\\\\"));
+            fields.put("file", p == null ? "<builtin>" :  p.toAbsolutePath().toString());
             fields.put("line", loc.line());
             fields.put("column", loc.column());
             jsb.addAnnotation(align, NATIVE_LOCATION, fields);
         }
     }