diff -r 86a18742e5b2 -r d08cbc36a99a src/Pure/Tools/main.scala
--- a/src/Pure/Tools/main.scala	Thu Jan 07 13:23:54 2021 +0100
+++ b/src/Pure/Tools/main.scala	Thu Jan 07 13:28:13 2021 +0100
@@ -26,8 +26,6 @@
           Isabelle_System.init()
           Isabelle_Fonts.init()
 
-          GUI.set_application_icon()
-
 
           /* ROOTS template */