--- a/dwtx/jface/text/DocumentRewriteSession.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/DocumentRewriteSession.d	Mon Sep 08 00:51:37 2008 +0200
@@ -174,7 +174,7 @@
      *
      * @param sessionType the type of this session
      */
-    protected this(DocumentRewriteSessionType sessionType) {
+    /+protected+/ this(DocumentRewriteSessionType sessionType) {
         fSessionType= sessionType;
     }
 
@@ -191,6 +191,7 @@
      * @see java.lang.Object#toString()
      */
     public override String toString() {
-        return (new StringBuffer()).append(toHash()).toString();
+        static assert( hash_t.sizeof is 4 );
+        return (new StringBuffer()).append(Integer.toString(toHash())).toString();
     }
 }