Added line.separator to make pushToStdOut work