static Map<S, Int> tableColumnWidthsByName(JTable table) {
  int n = tcm.getColumnCount();
  new TreeMap<S, Int> map;
  for i to n: {
    TableColumn tc = tcm.getColumn(i);
    map.put(str(tc.getHeaderValue), tc.getWidth());
  }
  ret map;
}