Helper util to quote strings.
String quote(String s) { if (s.startsWith('"') && s.endsWith('"')) { return s; } return '"$s"'; }