diff -r 3a9721d4ccae -r b19ba23e70c5 Admin/components
--- a/Admin/components	Thu Aug 16 14:05:50 2012 +0200
+++ b/Admin/components	Thu Aug 16 14:25:58 2012 +0200
@@ -4,9 +4,10 @@
 contrib/hol-light-bundle-0.5-126
 contrib/kodkodi-1.2.16
 contrib/spass-3.8ds
-contrib/scala-2.9.2
 contrib/vampire-1.0
 contrib/yices-1.0.28
 contrib/z3-4.0
-contrib/jedit_build-20120414
-contrib/jdk-6u31
+contrib/jdk-7u6
+contrib/scala-2.9.2
+contrib/jedit_build-20120813
+