Admin/components/main
changeset 50890 097e38daa03a
parent 50753 1253fd12ca8a
child 50921 287c79b9550c
     1.1 --- a/Admin/components/main	Mon Jan 14 14:59:14 2013 +0100
     1.2 +++ b/Admin/components/main	Mon Jan 14 19:45:14 2013 +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-7u9
     1.8 +jdk-7u11
     1.9  jedit_build-20130104
    1.10  jfreechart-1.0.14
    1.11  kodkodi-1.5.2