--- a/dwtx/jface/text/TypedPosition.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/TypedPosition.d	Mon Sep 08 00:51:37 2008 +0200
@@ -204,9 +204,9 @@
     /*
      * @see java.lang.Object#equals(java.lang.Object)
      */
-    public bool equals(Object o) {
+    public override int opEquals(Object o) {
         if ( cast(TypedPosition)o ) {
-            if (super.equals(o)) {
+            if (super.opEquals(o)) {
                 TypedPosition p= cast(TypedPosition) o;
                 return (fType is null && p.getType() is null) || fType.equals(p.getType());
             }
@@ -218,7 +218,7 @@
      * @see java.lang.Object#hashCode()
      */
     public override hash_t toHash() {
-        int type= fType is null ? 0 : fType.toHash();
+        int type= fType is null ? 0 : .toHash(fType);
         return super.toHash() | type;
      }
 }