When a user moves a class from one package/module to another, only the markers in the moved file are updated. But when there are other files, that are dependent from this file, their markers are not updated. But this is necessary, because the file has changed the module it belongs to an therefore some dependencies are now allowed while others are no longer allowed.