Add hibernate dependency needed by colleague's build within his Tomcat. Not sure why...