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