public void terminate() { terminated = true; for (RepairJob job : jobs) job.terminate(); jobs.clear(); activeJobs.clear(); }