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