static String ltrim(String s) {
  if (s == null) null;
  int i = 0;
  while (i < s.length() && " \t\r\n".indexOf(s.charAt(i)) >= 0)
    ++i;
  return i > 0 ? substring(s, i) : s;
}