If I want to migrate some VM managers from one distributed VM Manager Tool server to another, do I copy the .properties files from one to another, clear out the ID at the end of each file and run vmman.bat -reloadconfig on the old and new VM manager Tool servers?