diff -r f627ffab387b -r 8cc891183484 src/Pure/Tools/scala_project.scala
--- a/src/Pure/Tools/scala_project.scala	Wed Jun 30 20:57:38 2021 +0200
+++ b/src/Pure/Tools/scala_project.scala	Wed Jun 30 21:30:37 2021 +0200
@@ -111,12 +111,18 @@
     if (project_dir.is_file || project_dir.is_dir)
       error("Project directory already exists: " + project_dir)
 
-    val src_dir = project_dir + Path.explode("src/main/scala")
     val java_src_dir = project_dir + Path.explode("src/main/java")
     val scala_src_dir = Isabelle_System.make_directory(project_dir + Path.explode("src/main/scala"))
 
     Isabelle_System.copy_dir(Path.explode("~~/src/Tools/jEdit/dist/jEdit"), java_src_dir)
 
+    if (symlinks) {
+      Isabelle_System.symlink(Path.explode("~~/src/Tools/Setup/src/isabelle"), java_src_dir)
+    }
+    else {
+      Isabelle_System.copy_dir(Path.explode("~~/src/Tools/Setup/src"), java_src_dir)
+    }
+
     val files = isabelle_files
     isabelle_scala_files