Re: F42: instructions on setting up hibernate