code: @Deprecated @ReplacedBy(value="java.lang.String.replace()", reason="since 1.5")
      public static String replace (String source, String before, String after)
      {
          int pos = source.indexOf(before);
          if (pos == -1) {
              return source;
          }
  
          StringBuilder sb = new StringBuilder(source.length() + 32);
  
          int blength = before.length();
          int start = 0;
          while (pos != -1) {
              sb.append(source.substring(start, pos));
              sb.append(after);
              start = pos + blength;
              pos = source.indexOf(before, start);
          }
          sb.append(source.substring(start));
  
          return sb.toString();
      }
docs: Returns a new string based on <code>source</code> with all instances of <code>before</code>
  replaced with <code>after</code>.
  
  @deprecated java.lang.String.replace() was added in 1.5