/** Refreshes the table with the locally stored contacts. */ public void refreshGUI() { updateTableData(convertToTableVector(contacts)); gui.refreshTable(); }