code: private void readFile() {
          if(historyFile.exists()) {
              try (BufferedReader reader = new BufferedReader(new FileReader(historyFile))) {
                  String line;
                  while((line = reader.readLine()) != null)
                      push(Parser.toCodePoints(line));
              } catch(FileNotFoundException ignored) {
                  //AESH-205
              } catch (IOException e) {
                  if(logging)
                      LOGGER.log(Level.WARNING, "Failed to read from history file, ", e);
              }
          }
      }
docs: Read specified history file to history buffer