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