--- a/dwt/custom/TableTree.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/custom/TableTree.d	Wed Aug 27 14:30:35 2008 +0200
@@ -324,7 +324,7 @@
     TableItem[] selection = table.getSelection();
     TableTreeItem [] result = new TableTreeItem[selection.length];
     for (int i = 0; i < selection.length; i++){
-        result[i] = (TableTreeItem) selection[i].getData(ITEMID);
+        result[i] = cast(TableTreeItem) selection[i].getData(ITEMID);
     }
     return result;
 }
@@ -462,7 +462,7 @@
 
 void onSelection(Event e) {
     Event event = new Event();
-    TableItem tableItem = (TableItem)e.item;
+    TableItem tableItem = cast(TableItem)e.item;
     TableTreeItem item = getItem(tableItem);
     event.item = item;
 
@@ -590,7 +590,7 @@
     for (int i = 0; i < items.length; i++) {
         Rectangle rect = items[i].getImageBounds(0);
         if (rect.contains(event.x, event.y)) {
-            TableTreeItem item = (TableTreeItem) items[i].getData(ITEMID);
+            TableTreeItem item = cast(TableTreeItem) items[i].getData(ITEMID);
             event = new Event();
             event.item = item;
             item.setExpanded(!item.getExpanded());