Design and construction of a superconducting magnet system for an Electron Cyclotron Resonance (ECR) ion source