static S[] parseColonProperty_array(S s) {
  if (s == null) null;
  int i = s.indexOf(':');
  if (i < 0) null;
  ret new S[] { trimSubstring(s, 0, i), trimSubstring(s, i+1) };
}