play.db.DBPlugin: Fixed compilation error