[Norm]

for debugging write everyting to a file.

This is easily done by using the System.setOut and a small class extending PrintStream to copy all println()/write() traffic to a file as well as displaying to the terminal.