Fixed: ProviderNotFoundException in JRTIndex.<init>

AndroidIDEOfficial · Oct 7, 2022 · 90ddc61 · 90ddc61
1 parent ffa1f64
commit 90ddc61
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/jdk.compiler/share/classes/com/sun/tools/javac/file/JRTIndex.java b/src/jdk.compiler/share/classes/com/sun/tools/javac/file/JRTIndex.java
@@ -48,8 +48,10 @@
 import javax.tools.FileObject;
 
 import com.itsaky.androidide.config.JavacConfigProvider;
+import com.itsaky.androidide.zipfs2.AndroidFsProvider;
 import com.sun.tools.javac.file.RelativePath.RelativeDirectory;
 import com.sun.tools.javac.util.Context;
+import com.sun.tools.javac.util.PlatformUtils;
 
 /**
  * A package-oriented index into the jrt: filesystem.
@@ -182,7 +184,11 @@ public String toString() {
      * Create and initialize the index.
      */
     private JRTIndex() throws IOException {
-        jrtfs = FileSystems.getFileSystem(URI.create("jrt:/"));
+        if (PlatformUtils.isAndroid()) {
+            jrtfs = AndroidFsProvider.INSTANCE.jrtFileSystem();
+        } else {
+            jrtfs = FileSystems.getFileSystem(URI.create("jrt:/"));
+        }
         entries = new HashMap<>();
     }