presto-main/src/main/java/io/prestosql/util/GraphvizPrinter.java/NodePrinter/escapeSpecialCharacters
class NodePrinter:        private static String escapeSpecialCharacters(String label)
        {
            return label
                    .replace("<", "\\<")
                    .replace(">", "\\>")
                    .replace("\"", "\\\"");
        }