Jr. Mints children’s ensemble starts 17th fall season on Sept. 30