src/Pure/Tools/scala_project.scala

--- a/src/Pure/Tools/scala_project.scala	Fri Jul 08 20:06:53 2022 +0200
+++ b/src/Pure/Tools/scala_project.scala	Fri Jul 08 20:24:05 2022 +0200
@@ -87,7 +87,7 @@
       def dependency(jar: Path): String = {
         val name = jar.expand.drop_ext.base.implode
         val system_path = File.platform_path(jar.absolute)
-      """  <dependency>
+        """  <dependency>
     <groupId>classpath</groupId>
     <artifactId>""" + XML.text(name) + """</artifactId>
     <version>0</version>