String escapeWSAndQuote(String s) { // if ( s==null ) return s; s = s.replaceAll('\n', r'\n'); s = s.replaceAll('\r', r'\r'); s = s.replaceAll('\t', r'\t'); return "'" + s + "'"; }