InputStreamReader in = null;
try {
in = new FileReader(file);
MText text = new StyledText();
char[] buf = new char[BUF_SIZE];
int read;
while ((read=in.read(buf, 0, buf.length)) != -1) {
int len = text.length();
text.replace(len, len, buf, 0, read, AttributeMap.EMPTY_ATTRIBUTE_MAP);
}
return text;
}
finally {
if (in != null) {