--- a/dwtx/jface/internal/text/revisions/RevisionPainter.d	Sun Aug 24 22:34:04 2008 +0200
+++ b/dwtx/jface/internal/text/revisions/RevisionPainter.d	Sun Aug 24 22:35:05 2008 +0200
@@ -106,8 +106,8 @@
     private static bool DEBUG= "true".equalsIgnoreCase(Platform.getDebugOption("dwtx.jface.text.source/debug/RevisionRulerColumn")); //$NON-NLS-1$//$NON-NLS-2$
 
     // RGBs provided by UI Designer
-    private static final RGB BY_DATE_START_COLOR= new RGB(199, 134, 57);
-    private static final RGB BY_DATE_END_COLOR= new RGB(241, 225, 206);
+    private static const RGB BY_DATE_START_COLOR= new RGB(199, 134, 57);
+    private static const RGB BY_DATE_END_COLOR= new RGB(241, 225, 206);
 
     
     /**
@@ -129,20 +129,20 @@
          * revision color perceived as light such as yellow will be darkened, while colors perceived
          * as dark such as blue will be lightened up.
          */
-        private static final float AVERAGE_INTENSITY= 0.5f;
+        private static const float AVERAGE_INTENSITY= 0.5f;
         /**
          * The maximum shading in [0, 1] - this is the shade that the most recent revision will
          * receive.
          */
-        private static final float MAX_SHADING= 0.7f;
+        private static const float MAX_SHADING= 0.7f;
         /**
          * The minimum shading in [0, 1] - this is the shade that the oldest revision will receive.
          */
-        private static final float MIN_SHADING= 0.2f;
+        private static const float MIN_SHADING= 0.2f;
         /**
          * The shade for the focus boxes.
          */
-        private static final float FOCUS_COLOR_SHADING= 1f;
+        private static const float FOCUS_COLOR_SHADING= 1f;
 
 
         /**