fixed autodetection of java.home for osx in wala