Issue #334: Added annotations for module resourceAllocationManager