I’m still trying to integrate Mint into DrJava, and I’m running into a problem with the class loaders in Mint and DrJava.
If I understand the class loader inside the Interaction JVM correctly (a PathClassLoader, I believe), it can change the class path dynamically, and that way it can find classes with different source roots. Once a program runs, though, the program uses the normal system
class loader, which doesn’t necessarily have the same class path as the Interaction JVM class loader.
Now I need to find a way to access the Interaction JVM class loader, so I can set it as parent for Mint’s class loader, or I need to find a way to approximate this.