Genericized DumpResultBuilder to use List instead of Vector