--- a/dwtx/jface/text/revisions/Revision.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/revisions/Revision.d	Sun Aug 24 01:46:20 2008 +0200
@@ -81,9 +81,9 @@
         if (fRanges is null) {
             List ranges= new ArrayList(fChangeRegions.size());
             for (Iterator it= fChangeRegions.iterator(); it.hasNext();) {
-                ChangeRegion region= (ChangeRegion) it.next();
+                ChangeRegion region= cast(ChangeRegion) it.next();
                 for (Iterator inner= region.getAdjustedRanges().iterator(); inner.hasNext();) {
-                    ILineRange range= (ILineRange) inner.next();
+                    ILineRange range= cast(ILineRange) inner.next();
                     ranges.add(new RevisionRange(this, range));
                 }
             }
@@ -102,7 +102,7 @@
     final void applyDiff(Hunk[] hunks) {
         fRanges= null; // mark for recomputation
         for (Iterator regions= fChangeRegions.iterator(); regions.hasNext();) {
-            ChangeRegion region= (ChangeRegion) regions.next();
+            ChangeRegion region= cast(ChangeRegion) regions.next();
             region.clearDiff();
             for (int i= 0; i < hunks.length; i++) {
                 Hunk hunk= hunks[i];