# HG changeset patch
# User wenzelm
# Date 1379099648 -7200
# Node ID da1c7b50fdfea3170c3383e6c5dcf99605a811fc
# Parent  a49ce8d72a44c0342f48e5a949ab5ca10f349d7a
updated to jdk-7u40;

diff -r a49ce8d72a44 -r da1c7b50fdfe Admin/components/main
--- 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