many callers of setDesignationAt simply didn't bother with the priority parameter. change the default value of the priority param so that by default we will keep the previous value instead of overwriting it