- Fixed alarm manager bug regarding alarm priority change