harness.check(c.getMaxWidth(), Integer.MAX_VALUE);
harness.check(c.getPreferredWidth(), 75);
harness.check(c.getWidth(), 75);
JTable t = new JTable();
JTableHeader h = t.getTableHeader();
JComponent r = (JComponent) h.getDefaultRenderer();
r.setMinimumSize(new Dimension(13, 5));
r.setMaximumSize(new Dimension(999, 99));
r.setPreferredSize(new Dimension(34, 21));
c.setHeaderRenderer((TableCellRenderer) r);
harness.check(c.getMinWidth(), 15);