Java home detection