Pretty Printer

The only known issue (apart from the slight ugliness of the code due to the nontrivial rules for pretty whitespace) is that the main method is pretty printed as `public void main(String[] args) {...` (dropping the `static`).
Shouldn't `else` be omitted entirely? (Yes, the spec is not very clear on that as it requires `else` to contain an empty statement to not be printed.)