JAL-727

diff --git a/src/jalview/io/AlignmentProperties.java b/src/jalview/io/AlignmentProperties.java
index 3b25b49..8d3e56a 100644 (file)
--- 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)