src/Tools/jEdit/src-base/plugin.scala

 {
   override def start()
   {
     Isabelle_System.init()
 
+    GUI.set_application_icon()
+
     Debug.DISABLE_SEARCH_DIALOG_POOL = true
 
     Syntax_Style.dummy_style_extender()
   }