docs: public MessageBean setLocation(final Element elem) {
          final MessageBean ret = new MessageBean(this);
          final String xtrf = elem.getAttribute(ATTRIBUTE_NAME_XTRF);
          if (!xtrf.isEmpty()) {
              ret.srcFile = toURI(xtrf);
          }
          final String xtrc = elem.getAttribute(ATTRIBUTE_NAME_XTRC);
          if (!xtrc.isEmpty()) {
              final int sep = xtrc.indexOf(';');
              if (sep != -1) {
                  final int delim = xtrc.indexOf(COLON, sep + 1);
                  if (delim != -1) {
                      ret.srcLine = Integer.parseInt(xtrc.substring(sep + 1, delim));
                      ret.srcColumn = Integer.parseInt(xtrc.substring(delim + 1));
                  }
              }
          }
          return ret;
      }