--- a/dwtx/jface/internal/text/html/HTMLTextPresenter.d	Tue Aug 26 02:46:34 2008 +0200
+++ b/dwtx/jface/internal/text/html/HTMLTextPresenter.d	Wed Aug 27 01:57:58 2008 +0200
@@ -41,7 +41,13 @@
  */
 public class HTMLTextPresenter : DefaultInformationControl_IInformationPresenter, DefaultInformationControl_IInformationPresenterExtension {
 
-    private static const String LINE_DELIM= System.getProperty("line.separator", "\n"); //$NON-NLS-1$ //$NON-NLS-2$
+    private static String LINE_DELIM_;
+    private static String LINE_DELIM() {
+        if( LINE_DELIM_ is null ){
+            LINE_DELIM_ = System.getProperty("line.separator", "\n"); //$NON-NLS-1$ //$NON-NLS-2$
+        }
+        return LINE_DELIM_;
+    }
 
     private int fCounter;
     private bool fEnforceUpperLineLimit;