+ private StringBuilder extractParenthesized(StringBuilder in, String startChar, String endChar) {
+ StringBuilder res = new StringBuilder();
+ int pos = 0;
+ while ((pos = in.indexOf(startChar, pos)) != -1) {
+ int end = in.indexOf(endChar, pos + 1);
+ if (end == -1) break;
+ res.append(in, pos + 1, end).append(" ");
+ in.replace(pos, end + 1, " ");
+ pos++; // skip the just appended space
+ }
+ return res;
+ }
+