This poor PR is several months old. It applied without much trouble, but
several changes were made:
* Don't use https if http will do (and http works fine)
* Don't use the launcher URL. It is always the latest version, so the
second minecraft is updated, the port will break. Use an version-based
URL instead, one that will update with the port version
* Add stage support
* At least four stable versions have been released since the PR's version
of 1.6.2. Go ahead and update it to the latest stable version of 1.7.5
* The latest version builds and installs fine, but it was not tested.
Feedback on the PR indicates 1.6.2 works fine, but currently how well
version 1.7.5 works is unknown.
PR: ports/180195
Submitted by: "r4721"
Approved by: maintainer (Janik Galasso)
Staged by: marino@
8b192c83a2