--- a/dwtx/jface/text/Region.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/Region.d	Mon Sep 08 00:51:37 2008 +0200
@@ -155,6 +155,7 @@
 
 
 import dwt.dwthelper.utils;
+import tango.text.convert.Format;
 
 
 /**
@@ -209,11 +210,11 @@
     public override hash_t toHash() {
         return (fOffset << 24) | (fLength << 16);
     }
-    
+
     /*
      * @see java.lang.Object#toString()
      */
     public override String toString() {
-        return "[" + fOffset + '+' + fLength + ']'; //$NON-NLS-1$
+        return Format("[{}+{}]", fOffset, fLength ); //$NON-NLS-1$
     }
 }