--- a/doc-src/Nitpick/nitpick.tex Wed Aug 18 10:42:04 2010 +0200
+++ b/doc-src/Nitpick/nitpick.tex Wed Aug 18 11:14:33 2010 +0200
@@ -116,7 +116,7 @@
C-n. This is equivalent to entering the \textbf{nitpick} command with no
arguments in the theory text.
-Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.6 virtual
+Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.5 virtual
machine called \texttt{java}. The examples presented in this manual can be found
in Isabelle's \texttt{src/HOL/Nitpick\_Examples/Manual\_Nits.thy} theory.