/** @noSelfInFile */
declare module '@asledgehammer/pipewrench' {
  export namespace java.nio.charset {
    export type Charset = any;
  }
}