--- a/dwtx/jface/resource/FontDescriptor.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/jface/resource/FontDescriptor.d	Fri Apr 11 01:24:25 2008 +0200
@@ -288,14 +288,14 @@
     /* (non-Javadoc)
      * @see dwtx.jface.resource.DeviceResourceDescriptor#create(dwt.graphics.Device)
      */
-    public final Object createResource(Device device) {
+    public override final Object createResource(Device device) {
         return createFont(device);
     }
 
     /* (non-Javadoc)
      * @see dwtx.jface.resource.DeviceResourceDescriptor#destroy(java.lang.Object)
      */
-    public final void destroyResource(Object previouslyCreatedObject) {
+    public override final void destroyResource(Object previouslyCreatedObject) {
         destroyFont(cast(Font)previouslyCreatedObject);
     }
 }