// prepare to produce Unix-format text files on a Windows machine
System.setProperty( "line.separator", "\n" );