We adopted criteria-having-improvement.patch for Hibernate 3.2.5 and added criteria support for parameters. The result is contained in criteria-having-improvement-for-hibernate-3.2.5-with-criteria-enhancement.patch