--- a/dwtx/jface/text/TextViewerHoverManager.d	Sun Aug 24 02:31:41 2008 +0200
+++ b/dwtx/jface/text/TextViewerHoverManager.d	Sun Aug 24 03:23:46 2008 +0200
@@ -301,8 +301,7 @@
             return;
         }
 
-        fThread= new Thread("Text Viewer Hover Presenter") { //$NON-NLS-1$
-            public void run() {
+            void threadrun() {
                 // http://bugs.eclipse.org/bugs/show_bug.cgi?id=17693
                 bool hasFinished= false;
                 try {
@@ -349,9 +348,10 @@
                     }
                 }
             }
-        };
+        fThread= new Thread( &threadrun );
+        fThread.name = "Text Viewer Hover Presenter"; //$NON-NLS-1$
 
-        fThread.setDaemon(true);
+        fThread.isDaemon(true);
         fThread.setPriority(Thread.MIN_PRIORITY);
         synchronized (fMutex) {
             fTextViewer.addTextListener(fStopper);
@@ -429,8 +429,8 @@
         if (fTextViewer !is null && fTextViewer.requestWidgetToken(this, WIDGET_PRIORITY))
             super.showInformationControl(subjectArea);
         else
-            if cast(DEBUG)
-                System.out.println("TextViewerHoverManager#showInformationControl(..) did not get widget token"); //$NON-NLS-1$
+            if (DEBUG)
+                System.out_.println("TextViewerHoverManager#showInformationControl(..) did not get widget token"); //$NON-NLS-1$
     }
 
     /*
@@ -445,7 +445,7 @@
                 fTextViewer.releaseWidgetToken(this);
         }
     }
-    
+
     /*
      * @see dwtx.jface.text.AbstractInformationControlManager#replaceInformationControl(bool)
      * @since 3.4
@@ -497,15 +497,15 @@
     public bool setFocus(IWidgetTokenOwner owner) {
         if (! hasInformationControlReplacer())
             return false;
-        
+
         IInformationControl iControl= getCurrentInformationControl();
         if (canReplace(iControl)) {
             if (cancelReplacingDelay())
                 replaceInformationControl(true);
-            
+
             return true;
         }
-        
+
         return false;
     }