--- a/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocument.d	Sun Aug 24 01:46:20 2008 +0200
@@ -129,7 +129,7 @@
 
         fMasterDocument= masterDocument;
         if (fMasterDocument instanceof IDocumentExtension)
-            fMasterDocumentExtension= (IDocumentExtension) fMasterDocument;
+            fMasterDocumentExtension= cast(IDocumentExtension) fMasterDocument;
 
         fSegmentsCategory= SEGMENTS_CATEGORY;
         fFragmentsCategory= FRAGMENTS_CATEGORY_PREFIX + hashCode();
@@ -249,7 +249,7 @@
             int offset= 0;
             Position[] fragments= getFragments();
             for (int i= 0; i < fragments.length; i++) {
-                Fragment fragment= (Fragment) fragments[i];
+                Fragment fragment= cast(Fragment) fragments[i];
                 Segment segment= new Segment(offset, fragment.getLength());
                 segment.fragment= fragment;
                 addPosition(fSegmentsCategory, segment);
@@ -277,7 +277,7 @@
         int offset= 0;
         if (index > 0) {
             Position[] segments= getSegments();
-            Segment segment= (Segment) segments[index - 1];
+            Segment segment= cast(Segment) segments[index - 1];
             offset= segment.getOffset() + segment.getLength();
         }
 
@@ -311,7 +311,7 @@
             Fragment right= null;
 
             if (index < fragments.length) {
-                Fragment fragment= (Fragment) fragments[index];
+                Fragment fragment= cast(Fragment) fragments[index];
                 if (offsetInMaster is fragment.offset)
                     if (fragment.length is 0) // the fragment does not overlap - it is a zero-length fragment at the same offset
                         left= fragment;
@@ -322,7 +322,7 @@
             }
 
             if (0 < index && index <= fragments.length) {
-                Fragment fragment= (Fragment) fragments[index - 1];
+                Fragment fragment= cast(Fragment) fragments[index - 1];
                 if (fragment.includes(offsetInMaster))
                     throw new IllegalArgumentException("overlaps with existing fragment"); //$NON-NLS-1$
                 if (fragment.getOffset() + fragment.getLength() is offsetInMaster)
@@ -331,7 +331,7 @@
 
             int offsetInSlave= 0;
             if (index > 0) {
-                Fragment fragment= (Fragment) fragments[index - 1];
+                Fragment fragment= cast(Fragment) fragments[index - 1];
                 Segment segment= fragment.segment;
                 offsetInSlave= segment.getOffset() + segment.getLength();
             }
@@ -385,7 +385,7 @@
     private Fragment findFragment(int offsetInMaster, int lengthInMaster) {
         Position[] fragments= getFragments();
         for (int i= 0; i < fragments.length; i++) {
-            Fragment f= (Fragment) fragments[i];
+            Fragment f= cast(Fragment) fragments[i];
             if (f.getOffset() <= offsetInMaster && offsetInMaster + lengthInMaster <= f.getOffset() + f.getLength())
                 return f;
         }
@@ -808,7 +808,7 @@
 
     private int computeAnchor(DocumentEvent event) {
         if (event instanceof ProjectionDocumentEvent) {
-            ProjectionDocumentEvent slave= (ProjectionDocumentEvent) event;
+            ProjectionDocumentEvent slave= cast(ProjectionDocumentEvent) event;
             Object changeType= slave.getChangeType();
             if (ProjectionDocumentEvent.CONTENT_CHANGE is changeType) {
                 DocumentEvent master= slave.getMasterEvent();
@@ -825,7 +825,7 @@
         bool changed= false;
         Position[] segments= getSegments();
         for (int i= 0; i < segments.length; i++) {
-            Segment segment= (Segment) segments[i];
+            Segment segment= cast(Segment) segments[i];
             if (segment.isDeleted() || segment.getLength() is 0) {
                 try {
                     removePosition(fSegmentsCategory, segment);
@@ -835,7 +835,7 @@
                     internalError();
                 }
             } else if (i < segments.length - 1) {
-                Segment next= (Segment) segments[i + 1];
+                Segment next= cast(Segment) segments[i + 1];
                 if (next.isDeleted() || next.getLength() is 0)
                     continue;
                 Fragment fragment= segment.fragment;
@@ -899,7 +899,7 @@
 
             Position[] fragments= getFragments();
             for (int i= 0; i < fragments.length; i++) {
-                Fragment fragment= (Fragment) fragments[i];
+                Fragment fragment= cast(Fragment) fragments[i];
                 fMasterDocument.removePosition(fFragmentsCategory, fragment);
                 removePosition(fSegmentsCategory, fragment.segment);
             }