specific version of mysql and hibernate