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 .