Quick fix for issues with JRE1.7 on Mac OSX