--- a/doc-src/Nitpick/nitpick.tex Mon Sep 26 11:41:52 2011 +0200
+++ b/doc-src/Nitpick/nitpick.tex Mon Sep 26 11:41:52 2011 +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.5 virtual
+Nitpick requires the Kodkodi package for Isabelle as well as a Java 1.6 virtual
machine called \texttt{java}. To run Nitpick, you must also make sure that the
theory \textit{Nitpick} is imported---this is rarely a problem in practice
since it is part of \textit{Main}.