If these came from Java or Sumatra, then they're prionalurus javanensis. Indonesian zoos often didn't bother to update the scientific names or refer to the subspecies of the animals they held, like how they still include all the eclectus subspecies to eclectus roratus
