- /*
- * Location of file for identifiers.org download
- */
- public static final String ID_ORG_FILE = System.getProperty("user.home")
- + File.separatorChar + ".jalview_identifiers";
-
- public IdentifiersUrlProvider(String cachedUrlList, String idFileName)
- {
- try
- {
- // File idFile = getIdentifiers();
- urls = readIdentifiers(new FileReader(idFileName));
- selectedUrls = new ArrayList<String>();
- checkSelectionMatchesUrls(cachedUrlList);
-
- } catch (IOException e)
- {
- System.out.println("Exception reading URLs from identifiers.org");
- System.out.println(e.getMessage());
- }
- }
-
- private File getIdentifiers() throws IOException