When I rename a folder containing python modules, the corresponding pydev source folder setting is not changed.