static S regexpQuote(S s) {
  return s.length() == 0 ? "" : Pattern.quote(s);
}