Admin/components/main
changeset 50294 dceb1daa185c
parent 50293 4eea6572896e
child 50309 38870ee59311
     1.1 --- a/Admin/components/main	Fri Nov 30 15:24:01 2012 +0100
     1.2 +++ b/Admin/components/main	Fri Nov 30 16:34:11 2012 +0100
     1.3 @@ -2,7 +2,7 @@
     1.4  cvc3-2.4.1
     1.5  e-1.6
     1.6  exec_process-1.0.3
     1.7 -jdk-7u6
     1.8 +jdk-7u9
     1.9  jedit_build-20120903
    1.10  kodkodi-1.5.2
    1.11  polyml-5.5.0