core - Revision 18242: /misc/tools/HeuristicLab.HiveDrain/HiveStatus/Properties