use Strings#lineSeparator instead of System.getProperty("line.separator")

jbgi · jbgi · commit d33454285e73 · 2016-05-24T07:41:22.000+02:00
diff --git a/quickcheck/src/main/java/fj/test/CheckResult.java b/quickcheck/src/main/java/fj/test/CheckResult.java
@@ -5,6 +5,8 @@
 import fj.Show;
 import fj.data.List;
 import fj.data.Option;
+import fj.function.Strings;
+
 import static fj.data.Option.some;
 import static fj.Show.listShow;
 import static fj.Show.showS;
@@ -252,12 +254,12 @@ else if (r.isPropException()) {
           final StringWriter sw = new StringWriter();
           final PrintWriter pw = new PrintWriter(sw);
           r.exception().some().printStackTrace(pw);
-          return "Exception on property evaluation with " + arguments(r) + System.getProperty("line.separator") + sw;
+          return "Exception on property evaluation with " + arguments(r) + Strings.lineSeparator + sw;
         } else if (r.isGenException()) {
           final StringWriter sw = new StringWriter();
           final PrintWriter pw = new PrintWriter(sw);
           r.exception().some().printStackTrace(pw);
-          return "Exception on argument generation " + System.getProperty("line.separator") + sw;
+          return "Exception on argument generation " + Strings.lineSeparator + sw;
         } else
           throw decons(r.getClass());
       }
