code: public File unpackedDownloadedContracts(ContractVerifierConfigProperties config) {
  		File contractsDirectory = unpackAndDownloadContracts();
  		updatePropertiesWithInclusion(contractsDirectory, config);
  		return contractsDirectory;
  	}
docs: Downloads JAR containing all the contracts. Plugin configuration gets updated with
  the inclusion pattern for the downloaded contracts. The JAR with the contracts
  contains all the contracts for all the projects. We're interested only in its
  subset.
  @param config - Plugin configuration that will get updated with the inclusion
  pattern
  @return location of the unpacked downloaded stubs