Actually Asian Leopard (melanistic). Jungle World is exclusively devoted to Asian habitats and wildlife. And as much as some people complain about the size of this exhibit, it does offer lots of vertical climbing space and the soft substrate noted by others.
It should have dawned on me that Jungle World was devoted to only Asian animals when I commented a few weeks ago. The leopard habitat is perhaps the weakest of the exhibits in this particular building, and the consensus seems to be that it would be best suited to fishing cats (a quick renovation) or another smaller species.