Who would have thought all that Java experience boils down to troubleshooting my son's minecraft installation... .