while(trimmed.charAt(trimmed.length() - 1) == '\\') {
String s2 = in.readLine().trim();
if (s2.startsWith("//")) s2 = s2.substring(2).trim();
- trimmed += s2;
+ trimmed = trimmed.substring(0, trimmed.length() - 1) + " " + s2;
out.println(); // preserve line numbers
}
StringTokenizer st = new StringTokenizer(trimmed, " ");