diff -r 22d1dd43f089 -r 072a7249e1ac src/Pure/Tools/build_dialog.scala
--- a/src/Pure/Tools/build_dialog.scala	Thu Apr 04 17:33:04 2013 +0200
+++ b/src/Pure/Tools/build_dialog.scala	Thu Apr 04 17:47:28 2013 +0200
@@ -64,7 +64,7 @@
     more_dirs: List[(Boolean, Path)],
     session: String): MainFrame = new MainFrame
   {
-    iconImage = Isabelle_System.get_icon().getImage
+    iconImage = GUI.isabelle_image()
 
 
     /* GUI state */