That's a bug found via #2142: When DocumentFile finishes up the modification, the remaining file content is copied line by line. But the newlines are lost because BufferedReader#readLine() doesn't return the line ending characters.