public void write(Element element, jetbrains.mps.project.Project project) throws CantSaveSomethingException { // this is to partially fix MPS-14671 if (myUsagesView.getTreeComponent().getAllResultNodes().size() > 500) throw new CantSaveSomethingException("usages view size too big to save"); Element usageViewXML = new Element(USAGE_VIEW); myUsagesView.write(usageViewXML, project); element.addContent(usageViewXML); Element usageViewOptionsXML = new Element(USAGE_VIEW_OPTIONS); myOptions.write(usageViewOptionsXML, project); element.addContent(usageViewOptionsXML); }