Is hibernate-core-5.3.1-20180525.223131-40 broken?

Hibernate ORM
1

After having a rather confusing day I just now realized that:

hibernate-core-5.3.1-20180525.223131-40
does not contain ‘org.hibernate.Query’

But hibernate-core-5.3.2-20180604.172232-12 does.

And so does hibernate-core-5.3.1.Final

Is it save to assume that
a) the 5.3.1 snapshot is simple broken and should be discarded
b) the org.hibernate.Query will stay with us for all 5.x versions and only gets removed for 6.x as described in https://docs.jboss.org/hibernate/orm/5.3/javadocs/org/hibernate/query/Query.html ?

2

It could be that it was removed by mistake and backward compatibility was restored.