Launch minecraft in java 7 for mac osx