code: private static void writeKey(PrintStream out, String value)
      {
          writeJSON(out, value);
          out.print(": ");
      }
docs: JSON Hash Key serializer
  
  @param out   The output steam to write data
  @param value value to set as a key