Added a new operation isStaffMemberAdmin() to IHotelManager.