} catch (IOException e) {
logstream.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
}
} catch (IOException e) {
logstream.println(colorize(RED, true, "Logger: exception thrown by ByteArrayInputStream -- this should not happen"));
}
while(str.indexOf('\t') != -1)
str = str.substring(0, str.indexOf('\t')) + " " + str.substring(str.indexOf('\t') + 1);
while(str.indexOf('\t') != -1)
str = str.substring(0, str.indexOf('\t')) + " " + str.substring(str.indexOf('\t') + 1);