proforma update to jdk-7u13 -- barely relevant security updates by Oracle;

Binary file Admin/Windows/launch4j/Isabelle.exe has changed

--- a/Admin/Windows/launch4j/isabelle.xml	Wed Feb 06 21:05:06 2013 +0100
+++ b/Admin/Windows/launch4j/isabelle.xml	Wed Feb 06 23:14:50 2013 +0100
@@ -20,7 +20,7 @@
     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
   </classPath>
   <jre>
-    <path>%EXEDIR%\contrib\jdk-7u11\x86-cygwin\jdk1.7.0_11</path>
+    <path>%EXEDIR%\contrib\jdk-7u13\x86-cygwin\jdk1.7.0_13</path>
     <minVersion></minVersion>
     <maxVersion></maxVersion>
     <jdkPreference>jdkOnly</jdkPreference>

--- 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