private static boolean doSave(Project proj, File f) {
Loader loader = proj.getLogisimFile().getLoader();
Tool oldTool = proj.getTool();
proj.setTool(null);
boolean ret = loader.save(proj.getLogisimFile(), f);
if (ret) {
AppPreferences.updateRecentFile(f);
proj.setFileAsClean();
}
proj.setTool(oldTool);