Add support for a deep reload where the configuration is reread

launch/Boot.scala

@@ -12,16 +12,21 @@ object Boot
 	{
 		System.clearProperty("scala.home") // avoid errors from mixing Scala versions in the same JVM
 		CheckProxy()
+		run(args)
+		System.exit(0)
+	}
+	def run(args: Array[String])
+	{
 		try { Launch(args.toList) }
 		catch
 		{
 			case b: BootException => errorAndExit(b.toString)
 			case r: xsbti.RetrieveException =>errorAndExit("Error: " + r.getMessage) 
+			case r: xsbti.FullReload => run(r.arguments)
 			case e =>
 				e.printStackTrace
 				errorAndExit(Pre.prefixError(e.toString))
 		}
-		System.exit(0)
 	}
 	private def errorAndExit(msg: String)
 	{

launch/interface/src/main/java/xsbti/FullReload.java

@@ -0,0 +1,11 @@
+package xsbti;
+
+public final class FullReload extends RuntimeException
+{
+	private final String[] arguments;
+	public FullReload(String[] arguments)
+	{
+		this.arguments = arguments;
+	}
+	public String[] arguments() { return arguments; }
+}