[hibernate-dev] hibernate-tools moved to git