/** * Get the eftar reader for the data directory. If it has been already opened and not closed, this * instance gets returned. One should not close it once used: {@link #cleanup(ServletRequest)} * takes care to close it. * * @return {@code null} if a reader can't be established, the reader otherwise. */ public EftarFileReader getEftarReader() { if (eftarReader == null || eftarReader.isClosed()) { File f = getEnv().getConfiguration().getDtagsEftar(); if (f == null) { eftarReader = null; } else { try { eftarReader = new EftarFileReader(f); } catch (FileNotFoundException e) { LOGGER.log(Level.FINE, "Failed to create EftarFileReader: ", e); } } } return eftarReader; }