--- a/dwtx/jface/layout/TableColumnLayout.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/layout/TableColumnLayout.d	Fri Apr 11 01:24:25 2008 +0200
@@ -45,7 +45,7 @@
      *
      * @see dwtx.jface.layout.AbstractColumnLayout#getColumnCount(dwt.widgets.Scrollable)
      */
-    int getColumnCount(Scrollable tableTree) {
+    override int getColumnCount(Scrollable tableTree) {
         return (cast(Table) tableTree).getColumnCount();
     }
 
@@ -55,7 +55,7 @@
      * @see dwtx.jface.layout.AbstractColumnLayout#setColumnWidths(dwt.widgets.Scrollable,
      *      int[])
      */
-    void setColumnWidths(Scrollable tableTree, int[] widths) {
+    override void setColumnWidths(Scrollable tableTree, int[] widths) {
         TableColumn[] columns = (cast(Table) tableTree).getColumns();
         for (int i = 0; i < widths.length; i++) {
             columns[i].setWidth(widths[i]);
@@ -67,7 +67,7 @@
      *
      * @see dwtx.jface.layout.AbstractColumnLayout#getLayoutData(int)
      */
-    ColumnLayoutData getLayoutData(Scrollable tableTree, int columnIndex) {
+    override ColumnLayoutData getLayoutData(Scrollable tableTree, int columnIndex) {
         TableColumn column = (cast(Table) tableTree).getColumn(columnIndex);
         return cast(ColumnLayoutData) column.getData(LAYOUT_DATA);
     }
@@ -79,7 +79,7 @@
     /* (non-Javadoc)
      * @see dwtx.jface.layout.AbstractColumnLayout#updateColumnData(dwt.widgets.Widget)
      */
-    void updateColumnData(Widget column) {
+    override void updateColumnData(Widget column) {
         TableColumn tColumn = cast(TableColumn) column;
         Table t = tColumn.getParent();