--- a/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/DefaultInformationControl.d	Sun Aug 24 22:34:04 2008 +0200
@@ -256,15 +256,15 @@
     /** The control's text widget */
     private StyledText fText;
     /** The information presenter, or <code>null</code> if none. */
-    private final IInformationPresenter fPresenter;
+    private const IInformationPresenter fPresenter;
     /** A cached text presentation */
-    private final TextPresentation fPresentation= new TextPresentation();
+    private const TextPresentation fPresentation= new TextPresentation();
     
     /**
      * Additional styles to use for the text control.
      * @since 3.4, previously called <code>fTextStyle</code>
      */
-    private final int fAdditionalTextStyles;
+    private const int fAdditionalTextStyles;
 
     /**
      * Creates a default information control with the given shell as parent. An information