@Deprecated
  public static DownloadProperties forGalaxyCentral(final File destination, String revision) {
    return new DownloadProperties(GALAXY_CENTRAL_REPOSITORY_URL, BRANCH_DEFAULT, revision, destination);
  }
@ Deprecated public static DownloadProperties forGalaxyCentral ( final File destination , String revision ) { return new DownloadProperties ( GALAXY_CENTRAL_REPOSITORY_URL , BRANCH_DEFAULT , revision , destination ) ; }
Builds a new DownloadProperties for downloading Galaxy from galaxy-central.
@param destination The destination directory to store Galaxy, null if a directory
should be chosen by default.
@param revision The revision to use for Galaxy.
@return A new DownloadProperties for downloading Galaxy from galaxy-central.