public static DownloadProperties forRelease ( final String release , final File destination ) { return new DownloadProperties ( new WgetGithubDownloader ( release ) , destination ) ; }
Builds a new DownloadProperties for downloading a specific Galaxy release .