Better java home default