--- a/dwtx/jface/text/Region.d	Wed Aug 27 01:57:58 2008 +0200
+++ b/dwtx/jface/text/Region.d	Wed Aug 27 02:07:22 2008 +0200
@@ -206,14 +206,14 @@
     /*
      * @see java.lang.Object#hashCode()
      */
-    public int hashCode() {
+    public override hash_t toHash() {
         return (fOffset << 24) | (fLength << 16);
     }
     
     /*
      * @see java.lang.Object#toString()
      */
-    public String toString() {
+    public override String toString() {
         return "[" + fOffset + '+' + fLength + ']'; //$NON-NLS-1$
     }
 }