--- a/dwtx/text/edits/MoveSourceEdit.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/text/edits/MoveSourceEdit.d	Sun Aug 24 01:46:20 2008 +0200
@@ -184,8 +184,8 @@
      */
     protected void postProcessCopy(TextEditCopier copier) {
         if (fTarget !is null) {
-            MoveSourceEdit source= (MoveSourceEdit)copier.getCopy(this);
-            MoveTargetEdit target= (MoveTargetEdit)copier.getCopy(fTarget);
+            MoveSourceEdit source= cast(MoveSourceEdit)copier.getCopy(this);
+            MoveTargetEdit target= cast(MoveTargetEdit)copier.getCopy(fTarget);
             if (source !is null && target !is null)
                 source.setTargetEdit(target);
         }
@@ -218,7 +218,7 @@
                     sourceEdits.add(null);
                 sourceEdits.add(list);
             } else {
-                List list= (List)sourceEdits.get(result);
+                List list= cast(List)sourceEdits.get(result);
                 if (list is null) {
                     list= new ArrayList();
                     sourceEdits.add(result, list);
@@ -357,7 +357,7 @@
 
     private void insertEdits(TextEdit root, List edits) {
         while(edits.size() > 0) {
-            ReplaceEdit edit= (ReplaceEdit)edits.remove(0);
+            ReplaceEdit edit= cast(ReplaceEdit)edits.remove(0);
             insert(root, edit, edits);
         }
     }
@@ -438,8 +438,8 @@
 
     private static void restorePositions(Map editMap) {
         for (Iterator iter= editMap.keySet().iterator(); iter.hasNext();) {
-            TextEdit marker= (TextEdit)iter.next();
-            TextEdit edit= (TextEdit)editMap.get(marker);
+            TextEdit marker= cast(TextEdit)iter.next();
+            TextEdit edit= cast(TextEdit)editMap.get(marker);
             if (marker.isDeleted()) {
                 edit.markAsDeleted();
             } else {