static String javaQuote(String s) { return quote(s); }