docs: public MessageBean setLocation(final Attributes atts) {
          final MessageBean ret = new MessageBean(this);
          final URI xtrf = toURI(atts.getValue(ATTRIBUTE_NAME_XTRF));
          if (xtrf != null) {
              ret.srcFile = xtrf;
          }
          final String xtrc = atts.getValue(ATTRIBUTE_NAME_XTRC);
          if (xtrc != null) {
              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;
      }