UIDs should *never* be duplicated under any circumstances (they stand for unique IDs - obviously they should be unique). Any duplicated UIDs is certainly a bug, so you should report it. However it could just be a UI issue with the debugger (it may be that there really are no duplicated UIDs and the debugger is just being misleading).