[hibernate-dev] Small change to the ORM Travis configuration