We have a build server with only the build tools, not IDE/UI. Where is the JavaSdkDirectory value set? There is not a registry setting on our build machine, presumably because there is no IDE/UI.