[hibernate-commits] [hibernate/hibernate-orm] aa08c9: add some overrides that should not be necessary

Branch: refs/heads/main Home: https://github.com/hibernate/hibernate-orm Commit: aa08c90b52c4de2c86f33f31b0d5d27b461d1afc https://github.com/hibernate/hibernate-orm/commit/aa08c90b52c4de2c86f33f3... Author: Gavin King <gavin(a)hibernate.org&gt; Date: 2021-12-31 (Fri, 31 Dec 2021) Changed paths: M hibernate-core/src/main/java/org/hibernate/Session.java Log Message: ----------- add some overrides that should not be necessary Javac doesn't mind, but IntelliJ seems to get confused