The new name is consistent with existing names JavaCodeGenerator and CliJavaCodeGeneratorOptions. Backward compatibility is ensured by turning JavaCodegenOptions into a (deprecated) type alias. Also: deprecate `CliJavaCodeGeneratorOptions.toJavaCodegenOptions()`