presto-main/src/main/java/io/prestosql/sql/planner/planprinter/JsonRenderer.java/JsonRenderedNode/getDetails
class JsonRenderedNode:        @JsonProperty
        public String getDetails()
        {
            return details;
        }