diff -r 6d7cd8e7bc6d -r 22c11f65ddf9 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Tue Aug 18 17:58:35 2020 +0200
+++ b/src/Pure/Tools/scala_project.scala	Tue Aug 18 18:23:17 2020 +0200
@@ -57,7 +57,8 @@
       "src/Tools/Graphview/" -> Path.explode("isabelle.graphview"),
       "src/Tools/VSCode/" -> Path.explode("isabelle.vscode"),
       "src/Tools/jEdit/src-base/" -> Path.explode("isabelle.jedit_base"),
-      "src/Tools/jEdit/src/" -> Path.explode("isabelle.jedit"))
+      "src/Tools/jEdit/src/" -> Path.explode("isabelle.jedit"),
+      "src/HOL/Tools/Nitpick" -> Path.explode("isabelle.nitpick"))
 
 
   /* scala project */