I'm not too happy with the solution I made. It is a quick fix, that has the
(1) The code for setting the default column widths is moved outside of the
fragile form-based java file
(2) It is easy to play around with the numbers in the new java file
The disadvantages (these are old problems that simply aren't addressed in this fix)
(1) If the user changes the size of the main window, its position, or the size
of the columns – none of this is persisted. I.e. the view is always reset to
the defaults whenever the program is run
(2) We really shouldn't be using a plain JTable for the view of the table. We
should have a derived class. THis will bite us soon.
(3) JTable is somewhat mysterious about how it sets column widths. Be careful
changing the numbers!
The old code would set a preferred column width for each of the 5 columns with a
seven (!!) element array of ints. These preferred sizes were completely
ignored by Swing.
Now a call is made to DefaultColumnSizes.setDefaultSize(column, i) which puts in
preferred sizes that are NOT ignored by Swing.