code: @Deprecated
    public static DownloadProperties forStableAtRevision(final File destination, String revision) {
      return new DownloadProperties(GALAXY_CENTRAL_REPOSITORY_URL, BRANCH_STABLE, revision, destination);
    }
docs: Builds a new DownloadProperties for downloading Galaxy at the given revision.
  @param destination The destination directory to store Galaxy, null if a directory
  should be chosen by default.
  @return A new DownloadProperties for downloading Galaxy at the given revision.