no need for setting up the kodkodi environment since Kodkodi 1.2.9

--- a/src/HOL/Tools/Nitpick/kodkod.ML	Fri Oct 29 12:49:05 2010 +0200
+++ b/src/HOL/Tools/Nitpick/kodkod.ML	Fri Oct 29 12:49:05 2010 +0200
@@ -1036,12 +1036,7 @@
           val outcome =
             let
               val code =
-                bash ("cd " ^ File.shell_quote temp_dir ^ ";\n" ^
-                      "env CLASSPATH=\"$KODKODI_CLASSPATH:$CLASSPATH\" \
-                      \JAVA_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
-                      \$JAVA_LIBRARY_PATH\" \
-                      \LD_LIBRARY_PATH=\"$KODKODI_JAVA_LIBRARY_PATH:\
-                      \$LD_LIBRARY_PATH\" \
+                bash ("cd " ^ File.shell_quote temp_dir ^ ";\n\
                       \\"$KODKODI\"/bin/kodkodi" ^
                       (if ms >= 0 then " -max-msecs " ^ string_of_int ms
                        else "") ^