From 60dde97e0115909c22d4b6dff689a061e497e36d Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Wed, 5 Jan 2011 15:37:11 +0000
Subject: [PATCH] JAL-727

---
 src/jalview/io/AlignmentProperties.java |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/jalview/io/AlignmentProperties.java b/src/jalview/io/AlignmentProperties.java
index 3b25b49..8d3e56a 100644
--- a/src/jalview/io/AlignmentProperties.java
+++ b/src/jalview/io/AlignmentProperties.java
@@ -33,7 +33,7 @@ public class AlignmentProperties
    */
   public void writeProperties(PrintWriter pw, boolean html)
   {
-    final String nl = html ? "<br>" : "\n";
+    final String nl = html ? "<br>" : System.getProperty("line.separator");
     float avg = 0;
     int min = Integer.MAX_VALUE, max = 0;
     for (int i = 0; i < alignment.getHeight(); i++)
@@ -93,7 +93,7 @@ public class AlignmentProperties
         }
         else
         {
-          pw.print("\n" + key + "\t" + vals);
+          pw.print(nl + key + "\t" + vals);
         }
       }
       if (html)
-- 
1.7.10.2