Added JSON labels required to implement the user database protocol.  #72
Removed Common.To_JSON_String (String) - in favour of Common.To_JSON_String (JSON_Value).
Style (white-space) fix.
Consolidated patterns matching temporary files from editors.