docs: private static Set<String> readBinarySet(File binarySetFile) 
          throws IOException {
          
          Set<String> result = new HashSet<String>();
  
          BufferedReader reader = null;
          try {
              reader = new BufferedReader(new FileReader(binarySetFile));
              String line;
              while ((line = reader.readLine()) != null) {
                  String trimmed = line.trim();
                  if (trimmed.length() > 0) {
                      if (trimmed.charAt(0) != '#') {
                          String[] parts = trimmed.split("\\s");
                          if (parts.length > 0) {
                              result.add(parts[0]);
                          }
                      }
                  }
              }
          } finally {
              if (reader != null) {
                  reader.close();
              }
          }
  
          return result;
      }