static Map<S, Int> tableColumnWidthsByName(JTable table) {
  TableColumnModel tcm = table.getColumnModel();
  if (tcm == null) null;
  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;
}