diff -r 6c19c29ddcbe -r 1e7b5a258bc5 src/Pure/Admin/component_windows_app.scala
--- a/src/Pure/Admin/component_windows_app.scala	Tue Mar 12 15:57:25 2024 +0100
+++ b/src/Pure/Admin/component_windows_app.scala	Tue Mar 12 15:58:40 2024 +0100
@@ -1,4 +1,4 @@
-/*  Title:      Pure/Admin/windows_app.scala
+/*  Title:      Pure/Admin/component_windows_app.scala
     Author:     Makarius
 
 Build Isabelle windows_app component from GNU binutils and launch4j.