--- a/dwtx/jface/internal/text/StickyHoverManager.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/internal/text/StickyHoverManager.d	Mon Sep 08 00:51:37 2008 +0200
@@ -18,10 +18,8 @@
 import dwtx.jface.internal.text.TableOwnerDrawSupport; // packageimport
 import dwtx.jface.internal.text.DelayedInputChangeListener; // packageimport
 
-
 import dwt.dwthelper.utils;
-
-
+import tango.text.convert.Format;
 
 import dwt.DWT;
 import dwt.events.ControlEvent;
@@ -48,7 +46,6 @@
 import dwtx.jface.text.TextViewer;
 import dwtx.jface.util.Geometry;
 
-
 /**
  * Implements a sticky hover control, i.e. a control that replaces a hover
  * with an enriched and focusable control.
@@ -230,7 +227,7 @@
          * @see dwt.events.FocusListener#focusLost(dwt.events.FocusEvent)
          */
         public void focusLost(FocusEvent e) {
-            if (DEBUG) System.out_.println("StickyHoverManager.Closer.focusLost(): " + e); //$NON-NLS-1$
+            if (DEBUG) System.out_.println(Format("StickyHoverManager.Closer.focusLost(): {}", e)); //$NON-NLS-1$
             Display d= fSubjectControl.getDisplay();
             d.asyncExec(new class()  Runnable {
                 // Without the asyncExec, mouse clicks to the workbench window are swallowed.
@@ -272,7 +269,7 @@
                 }
 
             } else if (event.type is DWT.FocusOut) {
-                if (DEBUG) System.out_.println("StickyHoverManager.Closer.handleEvent(): focusOut: " + event); //$NON-NLS-1$
+                if (DEBUG) System.out_.println(Format("StickyHoverManager.Closer.handleEvent(): focusOut: {}", event)); //$NON-NLS-1$
                 IInformationControl iControl= getCurrentInformationControl2();
                 if (iControl !is null && ! iControl.isFocusControl())
                     hideInformationControl();