--- a/dwtx/text/edits/TextEditCopier.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/text/edits/TextEditCopier.d	Sun Aug 24 01:46:20 2008 +0200
@@ -83,7 +83,7 @@
         TextEdit result= doCopy(fEdit);
         if (result !is null) {
             for (Iterator iter= fCopies.keySet().iterator(); iter.hasNext();) {
-                TextEdit edit= (TextEdit)iter.next();
+                TextEdit edit= cast(TextEdit)iter.next();
                 edit.postProcessCopy(this);
             }
         }
@@ -100,7 +100,7 @@
      */
     public TextEdit getCopy(TextEdit original) {
         Assert.isNotNull(original);
-        return (TextEdit)fCopies.get(original);
+        return cast(TextEdit)fCopies.get(original);
     }
 
     //---- helper methods --------------------------------------------
@@ -111,7 +111,7 @@
         if (children !is null) {
             List newChildren= new ArrayList(children.size());
             for (Iterator iter= children.iterator(); iter.hasNext();) {
-                TextEdit childCopy= doCopy((TextEdit)iter.next());
+                TextEdit childCopy= doCopy(cast(TextEdit)iter.next());
                 childCopy.internalSetParent(result);
                 newChildren.add(childCopy);
             }