--- a/dwt/custom/TreeEditor.d	Wed Aug 27 14:10:03 2008 +0200
+++ b/dwt/custom/TreeEditor.d	Wed Aug 27 14:30:35 2008 +0200
@@ -49,7 +49,7 @@
 *           if (oldEditor !is null) oldEditor.dispose();
 *   
 *           // Identify the selected row
-*           TreeItem item = (TreeItem)e.item;
+*           TreeItem item = cast(TreeItem)e.item;
 *           if (item is null) return;
 *   
 *           // The control that will be the editor must be a child of the Tree
@@ -57,7 +57,7 @@
 *           newEditor.setText(item.getText());
 *           newEditor.addModifyListener(new ModifyListener() {
 *               public void modifyText(ModifyEvent e) {
-*                   Text text = (Text)editor.getEditor();
+*                   Text text = cast(Text)editor.getEditor();
 *                   editor.getItem().setText(text.getText());
 *               }
 *           });