code: private final void setto(String s) {
          int l = s.length(); 
          int o = j+1;
          for (int i = 0; i < l; i++)
              sb.setCharAt(o+i, s.charAt(i));
          k = j+l;
      }
docs: /* setto(s) sets (j+1),...k to the characters in the string s, readjusting
  k.