PrettyPrinter: class fields now begin with "public "