--- a/dwtx/text/edits/TextEditGroup.d	Mon Aug 25 00:45:19 2008 +0200
+++ b/dwtx/text/edits/TextEditGroup.d	Mon Aug 25 19:03:46 2008 +0200
@@ -166,7 +166,7 @@
      * @return the managed text edits
      */
     public TextEdit[] getTextEdits() {
-        return (TextEdit[]) fEdits.toArray(new TextEdit[fEdits.size()]);
+        return arraycast!(TextEdit)( fEdits.toArray());
     }
 
     /**
@@ -184,7 +184,7 @@
         } else if (size is 1) {
             return (cast(TextEdit)fEdits.get(0)).getRegion();
         } else {
-            return TextEdit.getCoverage((TextEdit[])fEdits.toArray(new TextEdit[fEdits.size()]));
+            return TextEdit.getCoverage(arraycast!(TextEdit)(fEdits.toArray()));
         }
     }
 }