fix for osx with java7