Admin/components/main
changeset 51079 8cf38c6b33f8
parent 51066 7fc61bfb1c2d
child 51431 9d3ba9775988
--- 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