Just ran a JSON export from SQL Developer (version 4.1.1.19) and there seemed to be a flaw in the output. The export did not include a comma delimiter between individual records (items of an array, in JSON lingo) of the export, so in effect it wasn't valid JSON format. Am I doing something wrong or is this a repeatable, verifiable bug?