Would it make sense to catch all HibernateExceptions? Catching the StaleStateException would resolve my use case, but catching any HibernateException will help future-proof it, and still keep the scope to exceptions thrown by Hibernate.