--- a/dwtx/jface/text/DefaultDocumentAdapter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/DefaultDocumentAdapter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -276,7 +276,7 @@
      */
     private void repairLineInformation(IDocument document) {
         if (document instanceof IRepairableDocument) {
-            IRepairableDocument repairable= (IRepairableDocument) document;
+            IRepairableDocument repairable= cast(IRepairableDocument) document;
             repairable.repairLineInformation();
         }
     }
@@ -489,7 +489,7 @@
         if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
             Iterator e= new ArrayList(fTextChangeListeners).iterator();
             while (e.hasNext())
-                ((TextChangeListener) e.next()).textChanged(event);
+                (cast(TextChangeListener) e.next()).textChanged(event);
         }
     }
 
@@ -506,7 +506,7 @@
         if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
             Iterator e= new ArrayList(fTextChangeListeners).iterator();
             while (e.hasNext())
-                ((TextChangeListener) e.next()).textSet(event);
+                (cast(TextChangeListener) e.next()).textSet(event);
         }
     }
 
@@ -534,7 +534,7 @@
             if (fTextChangeListeners !is null && fTextChangeListeners.size() > 0) {
                 Iterator e= new ArrayList(fTextChangeListeners).iterator();
                 while (e.hasNext())
-                     ((TextChangeListener) e.next()).textChanging(event);
+                     (cast(TextChangeListener) e.next()).textChanging(event);
             }
 
         } catch (BadLocationException e) {