--- a/dwtx/jface/text/source/projection/ProjectionAnnotationHover.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionAnnotationHover.d	Sun Aug 24 01:46:20 2008 +0200
@@ -92,7 +92,7 @@
             try {
                 int captionOffset;
                 if (position instanceof IProjectionPosition)
-                    captionOffset= ((IProjectionPosition) position).computeCaptionOffset(document);
+                    captionOffset= (cast(IProjectionPosition) position).computeCaptionOffset(document);
                 else
                     captionOffset= 0;
                 int startLine= document.getLineOfOffset(position.getOffset() + captionOffset);
@@ -107,10 +107,10 @@
 
         IAnnotationModel model= null;
         if (viewer instanceof ISourceViewerExtension2) {
-            ISourceViewerExtension2 viewerExtension= (ISourceViewerExtension2) viewer;
+            ISourceViewerExtension2 viewerExtension= cast(ISourceViewerExtension2) viewer;
             IAnnotationModel visual= viewerExtension.getVisualAnnotationModel();
             if (visual instanceof IAnnotationModelExtension) {
-                IAnnotationModelExtension modelExtension= (IAnnotationModelExtension) visual;
+                IAnnotationModelExtension modelExtension= cast(IAnnotationModelExtension) visual;
                 model= modelExtension.getAnnotationModel(ProjectionSupport.PROJECTION);
             }
         }
@@ -120,7 +120,7 @@
                 IDocument document= viewer.getDocument();
                 Iterator e= model.getAnnotationIterator();
                 while (e.hasNext()) {
-                    ProjectionAnnotation annotation= (ProjectionAnnotation) e.next();
+                    ProjectionAnnotation annotation= cast(ProjectionAnnotation) e.next();
                     if (!annotation.isCollapsed())
                         continue;