I made the same change in openjdk-7 as well... just in case minecraft starts working under java 7 (that's a separate bug!)
I made the same change in openjdk-7 as well... just in case minecraft starts working under java 7 (that's a separate bug!)