adding generator for java.nio.charset.Charset