http://docs.jboss.org/hibernate/orm/4.2/devguide/en-US/html/ch12.html (see the "Important" block). Yes, we need to update the manual somehow. We're not holistically denying every Criteria-related ticket. Our focus has shifted to the JPA Criteria API and adding extensions to that.