Modernized API usage, parameterized collections in DumpResult

Note that DumpResult really doesn't deserve to live, if ever
it did.

At least not the manual serialization code here.