static String shorten(String s, int max) {
  if (s == null) ret "";
  if (max < 0) ret s;
  return s.length() <= max ? s : s.substring(0, Math.min(s.length(), max)) + "...";
}