private @NotNull Element getElement() {
    Element result = element;
    if (result == null) {
      try {
        result = JDOMUtil.load(file);
      }
      catch (NoSuchFileException e) {
        result = EMPTY_ELEMENT;
      }
      catch (JDOMException | IOException e) {
        element = EMPTY_ELEMENT;
        throw new CannotConvertException("Cannot load " + file, e);
      }
      element = result;
    }
    return result;
  }
private @NotNull Element getElement()