Admin/components/main

--- a/Admin/components/main	Fri Mar 15 10:08:23 2013 +0100
+++ b/Admin/components/main	Fri Mar 15 10:49:28 2013 +0100
@@ -8,6 +8,6 @@
 jfreechart-1.0.14
 kodkodi-1.5.2
 polyml-5.5.0-3
-scala-2.10.0
+scala-2.10.1
 spass-3.8ds
 z3-3.2