--- a/dwtx/jface/preference/PreferenceManager.d	Thu May 22 01:36:46 2008 +0200
+++ b/dwtx/jface/preference/PreferenceManager.d	Thu May 22 04:03:58 2008 +0200
@@ -41,7 +41,7 @@
      * Post-order means visit the children, and then the root.
      */
     public static const int POST_ORDER = 1;
-    
+
     /**
      * The id of the root node.
      */
@@ -66,14 +66,14 @@
     public this() {
         this('.', new PreferenceNode(ROOT_NODE_ID));
     }
-    
+
     /**
      * Creates a new preference manager with the given
      * path separator.
-     * 
+     *
      * @param separatorChar
      */
-    public PreferenceManager(final char separatorChar) { 
+    public this(char separatorChar) {
         this(separatorChar, new PreferenceNode(ROOT_NODE_ID));
     }
 
@@ -82,11 +82,11 @@
      * path separator and root node.
      *
      * @param separatorChar the separator character
-     * @param rootNode the root node. 
+     * @param rootNode the root node.
      *
      * @since 3.4
      */
-    public this(final char separatorChar, PreferenceNode rootNode) {
+    public this(char separatorChar, PreferenceNode rootNode) {
         separator = [ separatorChar ];
         this.root = rootNode;
     }