--- a/dwtx/jface/text/formatter/ContentFormatter.d	Sun Aug 24 01:29:22 2008 +0200
+++ b/dwtx/jface/text/formatter/ContentFormatter.d	Sun Aug 24 01:46:20 2008 +0200
@@ -186,7 +186,7 @@
         public int compareTo(Object obj) {
 
             if (obj instanceof PositionReference) {
-                PositionReference r= (PositionReference) obj;
+                PositionReference r= cast(PositionReference) obj;
                 return getCharacterPosition() - r.getCharacterPosition();
             }
 
@@ -378,7 +378,7 @@
         if (fStrategies is null)
             return null;
 
-        return (IFormattingStrategy) fStrategies.get(contentType);
+        return cast(IFormattingStrategy) fStrategies.get(contentType);
     }
 
     /*
@@ -690,7 +690,7 @@
 
         int[] positions= new int[fOverlappingPositionReferences.size()];
         for (int i= 0; i < positions.length; i++) {
-            PositionReference r= (PositionReference) fOverlappingPositionReferences.get(i);
+            PositionReference r= cast(PositionReference) fOverlappingPositionReferences.get(i);
             positions[i]= r.getCharacterPosition() - offset;
         }
 
@@ -706,7 +706,7 @@
     private void removeAffectedPositions(IDocument document) {
         int size= fOverlappingPositionReferences.size();
         for (int i= 0; i < size; i++) {
-            PositionReference r= (PositionReference) fOverlappingPositionReferences.get(i);
+            PositionReference r= cast(PositionReference) fOverlappingPositionReferences.get(i);
             try {
                 document.removePosition(r.getCategory(), r.getPosition());
             } catch (BadPositionCategoryException x) {
@@ -733,7 +733,7 @@
 
         for (int i= 0; i < positions.length; i++) {
 
-            PositionReference r= (PositionReference) fOverlappingPositionReferences.get(i);
+            PositionReference r= cast(PositionReference) fOverlappingPositionReferences.get(i);
 
             if (r.refersToOffset())
                 r.setOffset(offset + positions[i]);