--- a/dwtx/jface/text/source/projection/ProjectionRulerColumn.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionRulerColumn.d	Sun Aug 24 01:46:20 2008 +0200
@@ -85,7 +85,7 @@
         clearCurrentAnnotation();
         ProjectionAnnotation annotation= findAnnotation(line, true);
         if (annotation !is null) {
-            ProjectionAnnotationModel model= (ProjectionAnnotationModel) getModel();
+            ProjectionAnnotationModel model= cast(ProjectionAnnotationModel) getModel();
             model.toggleExpansionState(annotation);
         }
     }
@@ -112,7 +112,7 @@
             while (e.hasNext()) {
                 Object next= e.next();
                 if (next instanceof ProjectionAnnotation) {
-                    ProjectionAnnotation annotation= (ProjectionAnnotation) next;
+                    ProjectionAnnotation annotation= cast(ProjectionAnnotation) next;
                     Position p= model.getPosition(annotation);
                     if (p is null)
                         continue;
@@ -155,7 +155,7 @@
                     if (annotation.isCollapsed()) {
                         int captionOffset;
                         if (position instanceof IProjectionPosition)
-                            captionOffset= ((IProjectionPosition) position).computeCaptionOffset(document);
+                            captionOffset= (cast(IProjectionPosition) position).computeCaptionOffset(document);
                         else
                             captionOffset= 0;
 
@@ -227,7 +227,7 @@
      */
     public void setModel(IAnnotationModel model) {
         if (model instanceof IAnnotationModelExtension) {
-            IAnnotationModelExtension extension= (IAnnotationModelExtension) model;
+            IAnnotationModelExtension extension= cast(IAnnotationModelExtension) model;
             model= extension.getAnnotationModel(ProjectionSupport.PROJECTION);
         }
         super.setModel(model);