Division of Joy Global temporarily shutting down

A major Milwaukee-area company confirms to WISN 12 News that it is shutting down a division.