JsonPrinter: no need for a field for "\n" really