21:21 kmoore 

- Update minecraft client to work with the recent 1.8 client patch
- Change first-run script to only warn the user about changing the profile
- Bump PORTREV

 

10:45 marino 

games/minecraft-client: Use OpenJDK8 to fix spawning problem

PR:		189028
Submitted by:	Sean Bruno
Fix by:		Kris Moore

 

20:23 marino 

games/minecraft-client: Upgrade version 1.4.6 -> 1.7.5 and support stage

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@