public void setHeadlines(String third, String fourth) {
col3.setHeaderValue(third);
col4.setHeaderValue(fourth);
fireColumnMarginChanged();
}
<BUG>NamedResultTableColumnModel() {
createColumns();
}</BUG>
}
class ListSelectionHandler implements ListSelectionListener {

public void setHeadlines(String third, String fourth) {
col3.setHeaderValue(third);
col4.setHeaderValue(fourth);
fireColumnMarginChanged();
}
}
class ListSelectionHandler implements ListSelectionListener {
