--- a/dwtx/jface/text/source/projection/ProjectionViewer.d	Mon Aug 25 19:06:44 2008 +0200
+++ b/dwtx/jface/text/source/projection/ProjectionViewer.d	Tue Aug 26 02:46:34 2008 +0200
@@ -898,7 +898,7 @@
      *
      * @param event the annotation model event
      */
-    protected final void postCatchupRequest(final AnnotationModelEvent event) {
+    protected final void postCatchupRequest(AnnotationModelEvent event) {
         synchronized (fLock) {
             fPendingRequests.add(event);
             if (fPendingRequests.size() is 1) {
@@ -1717,7 +1717,7 @@
             if (position !is null && position.overlapsWith(modelSelection.getOffset(), modelSelection.getLength()) && modelRange2WidgetRange(position) !is null)
                 positions.add(position);
         }
-        return (Position[]) positions.toArray(new Position[positions.size()]);
+        return arraycast!(Position)( positions.toArray());
     }
 
     /*