src/Pure/Tools/task_statistics.scala

--- a/src/Pure/Tools/task_statistics.scala	Thu Apr 04 17:33:04 2013 +0200
+++ b/src/Pure/Tools/task_statistics.scala	Thu Apr 04 17:47:28 2013 +0200
@@ -53,7 +53,7 @@
   def show_frame(bins: Int = 100): Unit =
     Swing_Thread.later {
       new Frame {
-        iconImage = Isabelle_System.get_icon().getImage
+        iconImage = GUI.isabelle_image()
         title = name
         contents = Component.wrap(new ChartPanel(chart(bins)))
         visible = true