fun writeJson(file: java.io.File): void
fun writeJson(outputStream: java.io.OutputStream): void
fun writeJson(writer: java.io.Writer): void