Changeset 15920 for branches/2839_HiveProjectManagement/HeuristicLab.Clients.Hive.Views/3.3/TreeView

#2839: fixed several bugs in JobAdmin:

• disabled play button if no project or resource is selected
• extract stats for selected or alternatively for checked resources
• collapse slaves-only groups if no slave is assigned explicitly
• prevent unnecessary resource tree rebuilds (reset and style instead)
• suppress double clicks in resource tree (i.e. prevent win forms check-error)

...