1.1 --- a/etc/components	Thu Nov 21 18:20:07 2013 +0100
     1.2 +++ b/etc/components	Fri Nov 22 18:52:06 2013 +0100
     1.3 @@ -15,7 +15,6 @@
     1.4  contrib/e-1.8
     1.5  contrib/exec_process-1.0.3
     1.6  contrib/Haskabelle-2013
     1.7 -contrib/jdk
     1.8  contrib/jfreechart-1.0.14-1
     1.9  contrib/kodkodi-1.5.2
    1.10  contrib/polyml-5.5.1-1