--- a/dwtx/jface/text/DocumentCommand.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/DocumentCommand.d	Sun Aug 24 22:34:04 2008 +0200
@@ -186,13 +186,13 @@
      */
     private static class Command : Comparable {
         /** The offset of the range to be replaced */
-        private final int fOffset;
+        private const int fOffset;
         /** The length of the range to be replaced. */
-        private final int fLength;
+        private const int fLength;
         /** The replacement text */
-        private final String fText;
+        private const String fText;
         /** The listener who owns this command */
-        private final IDocumentListener fOwner;
+        private const IDocumentListener fOwner;
 
         /**
          * Creates a new command with the given specification.
@@ -276,7 +276,7 @@
     private static class ReverseListIterator : Iterator {
 
         /** The list iterator. */
-        private final ListIterator fListIterator;
+        private const ListIterator fListIterator;
 
         /**
          * Creates a reverse list iterator.
@@ -316,7 +316,7 @@
     private static class CommandIterator : Iterator {
 
         /** The command iterator. */
-        private final Iterator fIterator;
+        private const Iterator fIterator;
 
         /** The original command. */
         private Command fCommand;
@@ -409,7 +409,7 @@
      * Additional document commands.
      * @since 2.1
      */
-    private final List fCommands= new ArrayList();
+    private const List fCommands= new ArrayList();
     /**
      * Indicates whether the caret should be shifted by this command.
      * @since 3.0