docs: private void writePropertyStatisticsToFile(UsageStatistics usageStatistics,
  			String fileName) {
  		try (PrintStream out = new PrintStream(
  				ExampleHelpers.openExampleFileOuputStream(fileName))) {
  
  			out.println("Property id,in statements,in qualifiers,in references,total");
  
  			for (Entry<PropertyIdValue, Integer> entry : usageStatistics.propertyCountsMain
  					.entrySet()) {
  				int qCount = usageStatistics.propertyCountsQualifier.get(entry
  						.getKey());
  				int rCount = usageStatistics.propertyCountsReferences.get(entry
  						.getKey());
  				int total = entry.getValue() + qCount + rCount;
  				out.println(entry.getKey().getId() + "," + entry.getValue()
  						+ "," + qCount + "," + rCount + "," + total);
  			}
  		} catch (IOException e) {
  			e.printStackTrace();
  		}
  	}