--- a/dwtx/jface/viewers/NamedHandleObjectLabelProvider.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/viewers/NamedHandleObjectLabelProvider.d	Fri Apr 11 01:24:25 2008 +0200
@@ -41,7 +41,7 @@
      * @return the name of the handle object; <code>null</code> if there is no
      *         name or if the element is not a named handle object.
      */
-    public final String getText(Object element) {
+    public override final String getText(Object element) {
         if ( cast(NamedHandleObject)element ) {
             try {
                 return (cast(NamedHandleObject) element).getName();