--- a/dwtx/jface/text/source/VerticalRuler.d	Sun Aug 24 01:46:20 2008 +0200
+++ b/dwtx/jface/text/source/VerticalRuler.d	Sun Aug 24 01:52:31 2008 +0200
@@ -211,21 +211,21 @@
 
         fCanvas= new Canvas(parent, DWT.NO_BACKGROUND);
 
-        fCanvas.addPaintListener(new PaintListener() {
+        fCanvas.addPaintListener(new class()  PaintListener {
             public void paintControl(PaintEvent event) {
                 if (fTextViewer !is null)
                     doubleBufferPaint(event.gc);
             }
         });
 
-        fCanvas.addDisposeListener(new DisposeListener() {
+        fCanvas.addDisposeListener(new class()  DisposeListener {
             public void widgetDisposed(DisposeEvent e) {
                 handleDispose();
                 fTextViewer= null;
             }
         });
 
-        fCanvas.addMouseListener(new MouseListener() {
+        fCanvas.addMouseListener(new class()  MouseListener {
             public void mouseUp(MouseEvent event) {
             }
 
@@ -515,7 +515,7 @@
         if (fCanvas !is null && !fCanvas.isDisposed()) {
             Display d= fCanvas.getDisplay();
             if (d !is null) {
-                d.asyncExec(new Runnable() {
+                d.asyncExec(new class()  Runnable {
                     public void run() {
                         redraw();
                     }