Fix #9500: Use `java.class.path` for Java 9+ class loaders#9506

Merged

smarter merged 1 commit intoscala:masterfrom

dotty-staging:fix-#9500

Aug 6, 2020

Commits on Aug 6, 2020

Fix #9500: Use `java.class.path` for Java 9+ class loaders
nicolasstucki
committed