static L<S> tableColNames(JTable table) {
  int n = tableNumColumns(table);
  new L<S> l;
  for (int i = 0; i < n; i++)
    l.add(table.getColumnName(i));
  ret l;
}