docs: public static void setPropertiesFrom(URL propertyFile) throws IOException {
  		final Properties systemProperties = System.getProperties();
  		try (InputStream stream = propertyFile.openStream()) {
  			systemProperties.load(stream);
  		}
  	}