--- a/dwtx/jface/viewers/CheckboxTreeViewer.d	Sun Apr 06 14:15:58 2008 +0200
+++ b/dwtx/jface/viewers/CheckboxTreeViewer.d	Tue Apr 08 22:05:42 2008 +0200
@@ -138,10 +138,10 @@
     protected void fireCheckStateChanged(CheckStateChangedEvent event) {
         Object[] array = checkStateListeners.getListeners();
         for (int i = 0; i < array.length; i++) {
-            SafeRunnable.run(new class SafeRunnable {
+            SafeRunnable.run(new class(cast(ICheckStateListener) array[i]) SafeRunnable {
                 ICheckStateListener l;
-                this(){
-                    l = cast(ICheckStateListener) array[i];
+                this(ICheckStateListener a){
+                    l = a;
                 }
                 public void run() {
                     l.checkStateChanged(event);