convenience method to discover all Jmols

[jalview.git] / src / jalview / io / AlignmentProperties.java

diff --git a/src/jalview/io/AlignmentProperties.java b/src/jalview/io/AlignmentProperties.java
index fc6d525..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++)
@@ -62,7 +62,7 @@ public class AlignmentProperties
       pw.print(nl);
       if (html)
       {
-        pw.append("<table border=\"1\">");
+        pw.print("<table border=\"1\">");
       }
       Hashtable props = ((Alignment) alignment).alignmentProperties;
       Enumeration en = props.keys();
@@ -93,7 +93,7 @@ public class AlignmentProperties
         }
         else
         {
-          pw.print("\n" + key + "\t" + vals);
+          pw.print(nl + key + "\t" + vals);
         }
       }
       if (html)