#9 PrettyPrinter makes mistakes at }

[Kis Gergely]

The PrettyPrinter is buggy when it comes to closing a
code block like a class body.
Needs to be resolved. The recoder version works OK.
We should compare the two versions, and try to find out
what the problems are. Maybe rewrite the whole
PrettyPrinter in a more sophisticated way.