code: public void addPrefixesFile(String filename) throws IOException {
      try (Reader r = Files.newBufferedReader(Paths.get(filename), StandardCharsets.UTF_8)) {
        addPrefixProperties(r);
      }
    }
docs: Add a file map of packages to their respective prefixes, using the Properties file format.