// ------------------------------------------------------------------------
private void refreshTable(int displayType)
{
DefaultTableModel tm = (DefaultTableModel) jtableGrant.getModel();
tm.setDataVector(vecGrant, getTableHeader(displayType));
tm.fireTableStructureChanged();
setOptimalColumnWidth(displayType);
}
// ------------------------------------------------------------------------
private void setCheckBoxStatus()