core - Revision 18242: /branches/2994-AutoDiffForIntervals/HeuristicLab.Clients.Hive.Slave/3.3