The change in JDK compatibility will be added to the migration notes and will be updated on hibernate.org (http://hibernate.org/orm/releases/5.1/)