Converted "Encoder" to possibly more accurate "CodeGenerator", for the
sake of clarity. ("Encoder" is already used too frequently by the JDK
alone.)