<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_kiqoff83cpu1p73qa9egashg8h, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sbool tableSetColumnWidths_debug;

static void tableSetColumnWidths(JTable table, Map<S, Int> widths) {
  pcall {
    TableColumnModel tcm = table.getColumnModel();
    int n = tcm.getColumnCount();
    for i to n: {
      TableColumn tc = tcm.getColumn(i);
      Int w = widths.get(str(tc.getHeaderValue());
      if (w != null) {
        tc.setPreferredWidth(w);
        if (tableSetColumnWidths_debug)
          print("Setting width of column " + i + " to " + w);*/
      }
    }
  }
}

static void tableSetColumnWidths(JTable table, O... widths) {
  tableSetColumnWidths(table, litorderedmap(widths));
}