etc/build.props

--- a/etc/build.props	Thu Aug 12 13:55:45 2021 +0200
+++ b/etc/build.props	Thu Aug 12 14:18:46 2021 +0200
@@ -274,6 +274,7 @@
   src/Tools/jEdit/src/timing_dockable.scala \
   src/Tools/jEdit/src/token_markup.scala
 services = \
+  isabelle.Bash$Handler \
   isabelle.Bibtex$File_Format \
   isabelle.Document_Build$Build_Engine \
   isabelle.Document_Build$LuaLaTeX_Engine \