public void setResultSet(DiskResultSet rset) throws Exception {
set = rset;
max = rset.getRowCount();
table.setModel(model);
table.setModel(this);
offset = 0;
scrollBar.setValue(0);
scrollBar.setMaximum((max < window ? 0 : max - window));
}
public void clear() {
table.setModel(model);
offset = 0;
scrollBar.setValue(0);
scrollBar.setMaximum(0);
}