--- a/dwtx/jface/text/PaintManager.d	Sun Aug 24 01:13:39 2008 +0200
+++ b/dwtx/jface/text/PaintManager.d	Sun Aug 24 01:29:22 2008 +0200
@@ -194,7 +194,7 @@
          *
          * @param category the position category
          */
-        protected PaintPositionUpdater(String category) {
+        protected this(String category) {
             super(category);
         }
 
@@ -242,7 +242,7 @@
          * Creates a new position manager. Initializes the managing
          * position category using its class name and its hash value.
          */
-        public PositionManager() {
+        public this() {
             fCategory= getClass().getName() + hashCode();
             fPositionUpdater= new PaintPositionUpdater(fCategory);
         }
@@ -325,7 +325,7 @@
      *
      * @param textViewer the text viewer associated to this newly created paint manager
      */
-    public PaintManager(ITextViewer textViewer) {
+    public this(ITextViewer textViewer) {
         fTextViewer= textViewer;
     }