--- a/dwtx/jface/text/formatter/FormattingContext.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/formatter/FormattingContext.d	Mon Sep 08 00:51:37 2008 +0200
@@ -39,7 +39,11 @@
 public class FormattingContext : IFormattingContext {
 
     /** Map to store the properties */
-    private const Map fMap= new HashMap();
+    private const Map fMap;
+
+    this(){
+        fMap= new HashMap();
+    }
 
     /*
      * @see dwtx.jface.text.formatter.IFormattingContext#dispose()
@@ -117,7 +121,7 @@
         for (int index= 0; index < preferences.length; index++) {
 
             preference= preferences[index];
-            result= cast(String)map.get(preference);
+            result= stringcast(map.get(preference));
 
             if (result !is null) {
 
@@ -164,15 +168,15 @@
             if (isBooleanPreference(preference)) {
                 map.put(preference, (useDefault ? store.getDefaultBoolean(preference) : store.getBoolean(preference)) ? IPreferenceStore.TRUE : IPreferenceStore.FALSE);
             } else if (isIntegerPreference(preference)) {
-                map.put(preference, String.valueOf(useDefault ? store.getDefaultInt(preference) : store.getInt(preference)));
+                map.put(preference, String_valueOf(useDefault ? store.getDefaultInt(preference) : store.getInt(preference)));
             } else if (isStringPreference(preference)) {
                 map.put(preference, useDefault ? store.getDefaultString(preference) : store.getString(preference));
             } else if (isDoublePreference(preference)) {
-                map.put(preference, String.valueOf(useDefault ? store.getDefaultDouble(preference) : store.getDouble(preference)));
+                map.put(preference, String_valueOf(useDefault ? store.getDefaultDouble(preference) : store.getDouble(preference)));
             } else if (isFloatPreference(preference)) {
-                map.put(preference, String.valueOf(useDefault ? store.getDefaultFloat(preference) : store.getFloat(preference)));
+                map.put(preference, String_valueOf(useDefault ? store.getDefaultFloat(preference) : store.getFloat(preference)));
             } else if (isLongPreference(preference)) {
-                map.put(preference, String.valueOf(useDefault ? store.getDefaultLong(preference) : store.getLong(preference)));
+                map.put(preference, String_valueOf(useDefault ? store.getDefaultLong(preference) : store.getLong(preference)));
             }
         }
     }