If you don't find any other way, I guess you should be anyway able to create another folder (Developer2), move the useful apps from Developer to Developer2 and delete the old folder.