--- a/dwtx/jface/text/IDocumentExtension4.d	Tue Aug 26 02:46:34 2008 +0200
+++ b/dwtx/jface/text/IDocumentExtension4.d	Wed Aug 27 01:57:58 2008 +0200
@@ -161,12 +161,12 @@
  * following concepts:
  * <ul>
  *   <li>Rewrite sessions. A rewrite session is a sequence of replace operations
- *       that form a semantic unit.</li> 
+ *       that form a semantic unit.</li>
  *   <li>A modification stamp on the document</li>
  *   <li>The ability to set the initial line delimiter and to query the default
  *       line delimiter</li>
  * </ul>
- * 
+ *
  * @since 3.1
  */
 public interface IDocumentExtension4 {
@@ -262,7 +262,7 @@
     /**
      * The unknown modification stamp.
      */
-    long UNKNOWN_MODIFICATION_STAMP= -1;
+    static const long UNKNOWN_MODIFICATION_STAMP= -1;
 
     /**
      * Returns the modification stamp of this document. The modification stamp
@@ -277,17 +277,17 @@
      * @return the modification stamp of this document or <code>UNKNOWN_MODIFICATION_STAMP</code>
      */
     long getModificationStamp();
-    
+
     /**
      * Returns this document's default line delimiter.
      * <p>
      * This default line delimiter should be used by clients who
-     * want unique delimiters (e.g. 'CR's) in the document.</p> 
+     * want unique delimiters (e.g. 'CR's) in the document.</p>
      *
      * @return the default line delimiter or <code>null</code> if none
      */
     String getDefaultLineDelimiter();
-    
+
     /**
      * Sets this document's initial line delimiter i.e. the one
      * which is returned by <code>getDefaultLineDelimiter</code>