Fix pretty-printing nonprinting and nonascii char literals

We have things like `'\DEL'` appearing in what is supposed to be Java code.