diff -r 4e1c940b1fb2 -r 8cf38c6b33f8 Admin/components/main
--- a/Admin/components/main	Wed Feb 06 21:05:06 2013 +0100
+++ b/Admin/components/main	Wed Feb 06 23:14:50 2013 +0100
@@ -3,7 +3,7 @@
 e-1.6-2
 exec_process-1.0.3
 Haskabelle-2013
-jdk-7u11
+jdk-7u13
 jedit_build-20130104
 jfreechart-1.0.14
 kodkodi-1.5.2