code: public static DownloadProperties forRelease(final String release, final File destination) {
      return new DownloadProperties(new WgetGithubDownloader(release), destination);
    }
docs: Builds a new DownloadProperties for downloading a specific Galaxy release.
  @param release The release to pull from GitHub  (eg. "v17.01")
  @param destination The destination directory to store Galaxy, null if a directory
  should be chosen by default.
  @return A new DownloadProperties for downloading a specific Galaxy release.