Done with current synset save() method