Codecs for generating perfect Java code.