Admin/components/main
changeset 53626 da1c7b50fdfe
parent 53576 793a429c63e7
child 53686 432edb1a2469
--- a/Admin/components/main	Fri Sep 13 14:53:00 2013 +0200
+++ b/Admin/components/main	Fri Sep 13 21:14:08 2013 +0200
@@ -3,7 +3,7 @@
 e-1.8
 exec_process-1.0.3
 Haskabelle-2013
-jdk-7u25
+jdk-7u40
 jedit_build-20130910
 jfreechart-1.0.14-1
 kodkodi-1.5.2