--- a/dwtx/jface/text/PaintManager.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/PaintManager.d	Sun Aug 24 01:46:20 2008 +0200
@@ -406,7 +406,7 @@
         }
 
         for (Iterator e = fPainters.iterator(); e.hasNext();)
-            ((IPainter) e.next()).dispose();
+            (cast(IPainter) e.next()).dispose();
         fPainters.clear();
 
         fTextViewer.removeTextInputListener(this);
@@ -440,7 +440,7 @@
      */
     private void paint(int reason) {
         for (Iterator e = fPainters.iterator(); e.hasNext();)
-            ((IPainter) e.next()).paint(reason);
+            (cast(IPainter) e.next()).paint(reason);
     }
 
     /*
@@ -507,7 +507,7 @@
     public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) {
         if (oldInput !is null) {
             for (Iterator e = fPainters.iterator(); e.hasNext();)
-                ((IPainter) e.next()).deactivate(false);
+                (cast(IPainter) e.next()).deactivate(false);
             fManager.uninstall(oldInput);
             removeListeners();
         }