declare namespace java {
  namespace util {

    class IllegalFormatWidthException extends java.util.IllegalFormatException {
      public constructor(arg0: number | java.lang.Integer)
      public getWidth(): number
      public getMessage(): java.lang.String
    }

  }
}
