public File unpackedDownloadedContracts(ContractVerifierConfigProperties config) {
		File contractsDirectory = unpackAndDownloadContracts();
		updatePropertiesWithInclusion(contractsDirectory, config);
		return contractsDirectory;
	}
public File unpackedDownloadedContracts ( ContractVerifierConfigProperties config ) { File contractsDirectory = unpackAndDownloadContracts ( ) ; updatePropertiesWithInclusion ( contractsDirectory , config ) ; return contractsDirectory ; }
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