src/Pure/Admin/build_jdk.scala

--- a/src/Pure/Admin/build_jdk.scala	Fri May 19 16:05:33 2017 +0200
+++ b/src/Pure/Admin/build_jdk.scala	Fri May 19 16:14:24 2017 +0200
@@ -219,7 +219,7 @@
       var target_dir = Path.current
 
       val getopts = Getopts("""
-Usage: Admin/build_jdk [OPTIONS] ARCHIVES...
+Usage: isabelle build_jdk [OPTIONS] ARCHIVES...
 
   Options are:
     -D DIR       target directory (default ".")