diff -r 7cb0c5fbe2d9 -r 6255e532aa36 src/HOL/Nitpick_Examples/minipick.ML
--- a/src/HOL/Nitpick_Examples/minipick.ML	Tue Sep 29 11:35:21 2020 +0200
+++ b/src/HOL/Nitpick_Examples/minipick.ML	Tue Sep 29 11:59:59 2020 +0200
@@ -436,8 +436,7 @@
   in
     case solve_any_problem debug overlord deadline max_threads max_solutions
                            problems of
-      JavaNotFound => "unknown"
-    | Normal ([], _, _) => "none"
+      Normal ([], _, _) => "none"
     | Normal _ => "genuine"
     | TimedOut _ => "unknown"
     | Error (s, _) => error ("Kodkod error: " ^ s)