core - Revision 18242: /branches/2989_MovingPeaksBenchmark/HeuristicLab.Clients.Hive.JobManager