--- a/dwtx/text/edits/CopySourceEdit.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/text/edits/CopySourceEdit.d	Sun Aug 24 01:46:20 2008 +0200
@@ -89,7 +89,7 @@
             fCurrentParent= copy;
         }
         public void postVisit(TextEdit edit) {
-            fCurrentParent= (TextEdit)fParents.remove(fParents.size() - 1);
+            fCurrentParent= cast(TextEdit)fParents.remove(fParents.size() - 1);
         }
         public bool visitNode(TextEdit edit) {
             manageCopy(edit.doCopy());
@@ -227,8 +227,8 @@
      */
     protected void postProcessCopy(TextEditCopier copier) {
         if (fTarget !is null) {
-            CopySourceEdit source= (CopySourceEdit)copier.getCopy(this);
-            CopyTargetEdit target= (CopyTargetEdit)copier.getCopy(fTarget);
+            CopySourceEdit source= cast(CopySourceEdit)copier.getCopy(this);
+            CopyTargetEdit target= cast(CopyTargetEdit)copier.getCopy(fTarget);
             if (source !is null && target !is null)
                 source.setTargetEdit(target);
         }
@@ -249,7 +249,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);