diff -r f3f0e06549c2 -r 43f1ec41ea3c Admin/isatest/settings/at-poly-test
--- a/Admin/isatest/settings/at-poly-test	Thu Apr 19 12:28:10 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test	Thu Apr 19 14:59:17 2012 +0200
@@ -28,4 +28,5 @@
 ISABELLE_OCAML="/home/isabelle/contrib_devel/ocaml/x86-linux/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
 
+init_component "$HOME/contrib_devel/jdk-7u3_x86-linux"
 init_component "$HOME/contrib_devel/kodkodi-1.2.16"