code: private static Map<String, String> readPrefixDeclaration(BufferedReader reader) throws IOException {
          Map<String, String> prefixes = new HashMap<>();
          String line;
          while (!(line = reader.readLine()).isEmpty()) {
              String[] tokens = line.split("[\t| ]+");
              prefixes.put(tokens[0], tokens[1]);
          }
          return prefixes;
      }
docs: /*
  Helper methods related to load file.