--- a/dwtx/jface/text/projection/ProjectionDocumentEvent.d	Wed Aug 27 14:49:30 2008 +0200
+++ b/dwtx/jface/text/projection/ProjectionDocumentEvent.d	Mon Sep 08 00:51:37 2008 +0200
@@ -52,9 +52,29 @@
 public class ProjectionDocumentEvent : SlaveDocumentEvent {
 
     /** The change type indicating a projection change */
-    public const static Object PROJECTION_CHANGE= new Object();
+    private static Object PROJECTION_CHANGE_;
+    public static Object PROJECTION_CHANGE(){
+        if( PROJECTION_CHANGE_ is null ) {
+            synchronized( ProjectionDocumentEvent.classinfo ) {
+                if( PROJECTION_CHANGE_ is null ) {
+                    PROJECTION_CHANGE_ = new Object();
+                }
+            }
+        }
+        return PROJECTION_CHANGE_;
+    }
     /** The change type indicating a content change */
-    public const static Object CONTENT_CHANGE= new Object();
+    private static Object CONTENT_CHANGE_;
+    public static Object CONTENT_CHANGE(){
+        if( CONTENT_CHANGE_ is null ) {
+            synchronized( ProjectionDocumentEvent.classinfo ) {
+                if( CONTENT_CHANGE_ is null ) {
+                    CONTENT_CHANGE_ = new Object();
+                }
+            }
+        }
+        return CONTENT_CHANGE_;
+    }
 
     /** The change type */
     private Object fChangeType;