Add some helpers for setting JAVA_HOME on Mac OS X

... since I do this often enough.