make js for displaying gui more consistent, using JSON.stringify rather than FormatJSON since the latter doesn't do quotes right, and stringifying activity tags
service failure detector is an enricher, in example
change JSON serialization used by REST so that it looks at fields, ignoring getters, because getters can cause infinite loops,
and fix a couple other places where JSON serialization was dodgy (streams, apidoc)