--- a/dwtx/core/commands/operations/ObjectUndoContext.d	Thu Apr 10 19:10:12 2008 +0200
+++ b/dwtx/core/commands/operations/ObjectUndoContext.d	Fri Apr 11 01:24:25 2008 +0200
@@ -67,7 +67,7 @@
      *
      * @see dwtx.core.commands.operations.IUndoContext#getLabel()
      */
-    public String getLabel() {
+    public override String getLabel() {
         if (label !is null) {
             return label;
         }
@@ -121,7 +121,7 @@
      * @see dwtx.core.commands.operations.IUndoContext#matches(IUndoContext
      *      context)
      */
-    public bool matches(IUndoContext context) {
+    public override bool matches(IUndoContext context) {
         // Check first for explicit matches that have been assigned.
         if (children.contains(context)) {
             return true;