more robust: hardwired default for locale-specific operations seen in jEdit sources (e.g. BreakIterator.getCharacterInstance);

--- a/src/Tools/jEdit/src/base_plugin.scala	Sat Aug 23 22:00:12 2025 +0200
+++ b/src/Tools/jEdit/src/base_plugin.scala	Sun Aug 24 15:03:19 2025 +0200
@@ -9,12 +9,16 @@
 
 import isabelle._
 
+import java.util.Locale
+
 import org.gjt.sp.jedit.{EBMessage, Debug, EBPlugin}
 import org.gjt.sp.util.SyntaxUtilities
 
 
 class Base_Plugin extends EBPlugin {
   override def start(): Unit = {
+    Locale.setDefault(Locale.ENGLISH)
+
     Isabelle_System.init()
 
     GUI.use_isabelle_fonts()