--- a/dwtx/text/edits/TextEdit.d	Wed Aug 27 01:57:58 2008 +0200
+++ b/dwtx/text/edits/TextEdit.d	Wed Aug 27 02:07:22 2008 +0200
@@ -514,14 +514,14 @@
      *
      * @see Object#hashCode()
      */
-    public final int hashCode() {
-        return super.hashCode();
+    public final override hash_t toHash() {
+        return super.toHash();
     }
 
     /*
      * @see java.lang.Object#toString()
      */
-    public String toString() {
+    public override String toString() {
         StringBuffer buffer= new StringBuffer();
         toStringWithChildren(buffer, 0);
         return buffer.toString();