--- old/src/jdk.jextract/share/classes/com/sun/tools/jextract/Writer.java	2019-04-24 19:38:35.000000000 +0530
+++ new/src/jdk.jextract/share/classes/com/sun/tools/jextract/Writer.java	2019-04-24 19:38:35.000000000 +0530
@@ -41,7 +41,7 @@
         this.results = results;
     }
 
-    static final String JEXTRACT_MANIFEST = "META-INF" + File.separatorChar + "jextract.properties";
+    static final String JEXTRACT_MANIFEST = "META-INF/jextract.properties";
 
     public boolean isEmpty() {
         return results.isEmpty();