--- a/dwtx/jface/text/TextViewer.d	Mon Aug 25 00:45:19 2008 +0200
+++ b/dwtx/jface/text/TextViewer.d	Mon Aug 25 19:03:46 2008 +0200
@@ -2629,7 +2629,7 @@
      * @param fireEqualSelection <code>true</code> iff the event must be fired if the selection does not change
      * @since 3.0
      */
-    private void queuePostSelectionChanged(final bool fireEqualSelection) {
+    private void queuePostSelectionChanged(bool fireEqualSelection) {
         Display display= getDisplay();
         if (display is null)
             return;
@@ -4169,7 +4169,7 @@
             // Perform the shift operation.
             Map map= (useDefaultPrefixes ? fDefaultPrefixChars : fIndentChars);
                 for (int i= 0, j= 0; i < regions.length; i++, j += 2) {
-                String[] prefixes= (String[]) selectContentTypePlugin(regions[i].getType(), map);
+                String[] prefixes= stringArrayFromObject(selectContentTypePlugin(regions[i].getType(), map));
                 if (prefixes !is null && prefixes.length > 0 && lines[j] >= 0 && lines[j + 1] >= 0) {
                     if (right)
                         shiftRight(lines[j], lines[j + 1], prefixes[0]);
@@ -4563,7 +4563,7 @@
             }
 
             if (!ranges.isEmpty())
-                fTextWidget.replaceStyleRanges(0, 0, (StyleRange[])ranges.toArray(new StyleRange[ranges.size()]));
+                fTextWidget.replaceStyleRanges(0, 0, arraycast!(StyleRange)(ranges.toArray()));
 
         } else {
             IRegion region= modelRange2WidgetRange(presentation.getCoverage());
@@ -5441,7 +5441,7 @@
      * @since 3.1
      */
     public IEditingSupport[] getRegisteredSupports() {
-        return (IEditingSupport[]) fEditorHelpers.toArray(new IEditingSupport[fEditorHelpers.size()]);
+        return arraycast!(IEditingSupport)( fEditorHelpers.toArray());
     }
 
     /*