44         StringBuilder result = new StringBuilder();  in readStream()  local
48             result.append(line);  in readStream()
49             result.append('\n');  in readStream()
52         return result.toString();  in readStream()
81         StringBuilder result = new StringBuilder();  in join()  local
82         result.append(i.next());  in join()
84             result.append(delimiter).append(i.next());  in join()
86         return result.toString();  in join()
90         String[] result = new String[objects.length];  in objectsToStrings()  local
93             result[i++] = o.toString();  in objectsToStrings()
95         return result;  in objectsToStrings()
106         StringBuffer result = new StringBuffer();  in xmlSanitize()  local
109             matcher.appendReplacement(result, "");  in xmlSanitize()
110             result.append(escapeCodePoint(matcher.group()));  in xmlSanitize()
112         matcher.appendTail(result);  in xmlSanitize()
113         return result.toString();  in xmlSanitize()
117         StringBuilder result = new StringBuilder();  in escapeCodePoint()  local
119             result.append(String.format("U+%04X", (int) cs.charAt(i)));  in escapeCodePoint()
121         return result.toString();  in escapeCodePoint()