Profiler tweaks for JSON serialisation by dondonz · Pull Request #4068 · graphql-java/graphql-java

We're putting the finishing touches on the Profiler. We expect users will use the Profiler to sample logs and we're giving that a try ourselves.

ExecutionId is better cast to a string for the output map, otherwise a logger can complain it doesn't know how to serialise this type to JSON

Also changing some formatted strings into map values that's easier to parse and analyse later