/**
* Writes a string to a file. Note that this method appends a carriage return-line feed, you do
* not need to add \n to the end of the string you want written.
*
* @param s the string you want written.
*/
public void writeln(String s) {
char[] newline = {13, 10};
write(s + newline);
}
// -------------------------------------------------------------------
public static void init(int numOfStripes) {
FileIO.write("", FILENAME);
}