}
insText = args[index++].toCharArray();
}
else {
// This will try MConstText first, then plain text.
TextDocument doc = EditDemo.getDocumentFromFile(new File(args[index++]));
if (doc == null) {
throw new Error("Couldn't open file "+args[index-1]);
}
text = doc.getText();
}
}
if (index != args.length) {
throw new Error(USAGE);