XmlFile (@NotNull DomElement domElement) { if (domElement instanceof DomFileElement) { return ((DomFileElement<?>)domElement).getFile(); } return DomManagerImpl.getNotNullHandler(domElement).getFile(); }