src/Pure/GUI/gui.scala

--- a/src/Pure/GUI/gui.scala	Tue Jan 05 21:58:00 2021 +0100
+++ b/src/Pure/GUI/gui.scala	Tue Jan 05 22:05:18 2021 +0100
@@ -163,8 +163,11 @@
 
   def set_application_icon()
   {
-    if (Platform.is_macos) {
-      Taskbar.getTaskbar.setIconImage(isabelle_image_large())
+    if (Platform.is_macos && Taskbar.isTaskbarSupported) {
+      val taskbar = Taskbar.getTaskbar
+      if (taskbar.isSupported(Taskbar.Feature.ICON_IMAGE)) {
+        taskbar.setIconImage(isabelle_image_large())
+      }
     }
   }