public void addRef(Ref _ref) { int? priority = _ref.getPriority(); refs.Add(_ref); prioritizedRefs.addObject((priority == null) ? "null" : priority.ToString(), _ref); }