--- a/dwtx/jface/internal/text/revisions/RevisionSelectionProvider.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/internal/text/revisions/RevisionSelectionProvider.d	Sun Aug 24 01:46:20 2008 +0200
@@ -67,7 +67,7 @@
         public void selectionChanged(SelectionChangedEvent event) {
             ISelection selection= event.getSelection();
             if (selection instanceof ITextSelection) {
-                ITextSelection ts= (ITextSelection) selection;
+                ITextSelection ts= cast(ITextSelection) selection;
                 int offset= ts.getOffset();
                 setSelectedRevision(fPainter.getRevision(offset));
             }
@@ -140,13 +140,13 @@
         if (fIgnoreEvents)
             return;
         if (selection instanceof IStructuredSelection) {
-            Object first= ((IStructuredSelection) selection).getFirstElement();
+            Object first= (cast(IStructuredSelection) selection).getFirstElement();
             if (first instanceof Revision)
-                fPainter.handleRevisionSelected((Revision) first);
+                fPainter.handleRevisionSelected(cast(Revision) first);
             else if (first instanceof String)
-                fPainter.handleRevisionSelected((String) first);
+                fPainter.handleRevisionSelected(cast(String) first);
             else if (selection.isEmpty())
-                fPainter.handleRevisionSelected((Revision) null);
+                fPainter.handleRevisionSelected(cast(Revision) null);
         }
     }
 
@@ -161,7 +161,7 @@
         if (fViewer !is null) {
             ISelectionProvider provider= fViewer.getSelectionProvider();
             if (provider instanceof IPostSelectionProvider) {
-                IPostSelectionProvider postProvider= (IPostSelectionProvider) provider;
+                IPostSelectionProvider postProvider= cast(IPostSelectionProvider) provider;
                 fSelectionListener= new PostSelectionListener(postProvider);
             }
         }
@@ -207,7 +207,7 @@
 
             Object[] listeners= fListeners.getListeners();
             for (int i= 0; i < listeners.length; i++)
-                ((ISelectionChangedListener) listeners[i]).selectionChanged(event);
+                (cast(ISelectionChangedListener) listeners[i]).selectionChanged(event);
         } finally {
             fIgnoreEvents= false;
         }