gazetteerList.store(); gazetteerList.setURL(previousURL); gazetteerList.setModified(false);
fireTableRowsUpdated(row, row); gazetteerList.setModified(true); definitionTable.repaint();
newListFileName); gazetteerList.setURL(destination.toURI().toURL()); gazetteerList.setModified(false); } catch (MalformedURLException mue) { Err.prln("File name invalid.\n" + mue.getMessage());