} catch(Exception ex) { throw new GateRuntimeException("Could not read gazetteer entry " + linenr + " from URL " + getURL() + ": " + ex.getMessage(), ex);
for (Object object : linearDefinition.getListsByNode().values()) { GazetteerList gazetteerList = (GazetteerList) object; previousURL = gazetteerList.getURL(); gazetteerList.setURL(new File(selectedFile.getParentFile(), Files.fileFromURL(gazetteerList.getURL()).getName()) .toURI().toURL()); gazetteerList.store();
gazetteerList.store(); MainFrame.getInstance().statusChanged("Previous list saved in " + gazetteerList.getURL().getPath()); } catch (ResourceInstantiationException rie) { Err.prln("Unable to save the list.\n" + rie.getMessage()); File source = Files.fileFromURL(gazetteerList.getURL()); File destination = new File(source.getParentFile(), newListFileName);