[hibernate-issues] [Hibernate-JIRA] Resolved: (HSEARCH-463) Change the master docbook document to use the version number provided by the docbook plugin