public void renameWindow(UniqueKey oldKey, UniqueKey newManagerKey) { if (isHead()) { mainFrame.renameWindow(oldKey, newManagerKey); } }