edu.rice.cs.util.classloader (DrJava Eclipse Plug-in API (drjava-eclipse-20090115-r4708))