--- a/Admin/components/main Sun Mar 24 14:26:10 2013 +0100 +++ b/Admin/components/main Sun Mar 24 16:10:19 2013 +0100 @@ -11,3 +11,4 @@ scala-2.10.1 spass-3.8ds z3-3.2 +xz-java-1.2