diff --git a/compiler/util/src/org/jetbrains/jet/utils/Printer.java b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
index dacc2a294e5..e8010cfd88e 100644
--- a/compiler/util/src/org/jetbrains/jet/utils/Printer.java
+++ b/compiler/util/src/org/jetbrains/jet/utils/Printer.java
@@ -32,7 +32,11 @@ public class Printer {
 
     public void println(Object... objects) {
         print(objects);
-        out.append("\n");
+        println();
+    }
+
+    private void println() {
+        out.append(System.getProperty("line.separator"));
     }
 
     public void print(Object... objects) {
@@ -48,7 +52,7 @@ public class Printer {
 
     public void printlnWithNoIndent(Object... objects) {
         printWithNoIndent(objects);
-        out.append("\n");
+        println();
     }
 
     public void pushIndent() {