--- a/dwtx/jface/text/TextViewerHoverManager.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/TextViewerHoverManager.d	Sun Aug 24 01:46:20 2008 +0200
@@ -310,7 +310,7 @@
                         Object information;
                         try {
                             if (hover instanceof ITextHoverExtension2)
-                                information= ((ITextHoverExtension2)hover).getHoverInfo2(fTextViewer, region);
+                                information= (cast(ITextHoverExtension2)hover).getHoverInfo2(fTextViewer, region);
                             else
                                 information= hover.getHoverInfo(fTextViewer, region);
                         } catch (ArrayIndexOutOfBoundsException x) {
@@ -323,7 +323,7 @@
                         }
 
                         if (hover instanceof ITextHoverExtension)
-                            setCustomInformationControlCreator(((ITextHoverExtension) hover).getHoverControlCreator());
+                            setCustomInformationControlCreator((cast(ITextHoverExtension) hover).getHoverControlCreator());
                         else
                             setCustomInformationControlCreator(null);
 
@@ -411,7 +411,7 @@
                 widgetOffset--;
 
             if (fTextViewer instanceof ITextViewerExtension5) {
-                ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer;
+                ITextViewerExtension5 extension= cast(ITextViewerExtension5) fTextViewer;
                 return extension.widgetOffset2ModelOffset(widgetOffset);
             }
 
@@ -429,7 +429,7 @@
         if (fTextViewer !is null && fTextViewer.requestWidgetToken(this, WIDGET_PRIORITY))
             super.showInformationControl(subjectArea);
         else
-            if (DEBUG)
+            if cast(DEBUG)
                 System.out.println("TextViewerHoverManager#showInformationControl(..) did not get widget token"); //$NON-NLS-1$
     }