Method replaceString

java/src/processing/mode/java/JavaEditor.java:2133–2135

(String str, int start, int end, String put)

  static private String replaceString(String str, int start, int end, String put) {
    return str.substring(0, start) + put + str.substring(end);
  }


  //private int howManyInts(ArrayList<Handle> handles[])