hibernate doc update