diff --git a/src/main/scala/leon/Settings.scala b/src/main/scala/leon/Settings.scala
index f9de5e4b15cf3dcb68e16d4e43be903e55781b4d..5a56cbb71aaef4030b3eb1ac75864c99982a54d5 100644
--- a/src/main/scala/leon/Settings.scala
+++ b/src/main/scala/leon/Settings.scala
@@ -22,5 +22,8 @@ case class Settings(
   val synthesis: Boolean      = false,
   val xlang: Boolean          = false,
   val verify: Boolean         = true,
+  // This is a list of directories that is passed as class-path of the inner-compiler.
+  // It needs to contain at least a directory containing scala-library.jar, and
+  // one for the leon runtime library.
   val classPath: List[String] = Settings.defaultClassPath()
 )
diff --git a/src/main/scala/leon/plugin/ExtractionPhase.scala b/src/main/scala/leon/plugin/ExtractionPhase.scala
index 2b9c197c43a6d7131a775e49198c8ea636a6dba9..1c788def1c1e6950ba0a7180caf1baa28f576538 100644
--- a/src/main/scala/leon/plugin/ExtractionPhase.scala
+++ b/src/main/scala/leon/plugin/ExtractionPhase.scala
@@ -13,7 +13,8 @@ object ExtractionPhase extends LeonPhase[List[String], Program] {
 
     val settings = new NSCSettings
 
-    settings.extdirs.value = ctx.settings.classPath.mkString(":")
+    //settings.extdirs.value = ctx.settings.classPath.mkString(":")
+    settings.usejavacp.value = true
 
     val compilerOpts = args.filterNot(_.startsWith("--"))