declare namespace java {
    namespace util {
        // @ts-ignore
         class IllegalFormatWidthException extends java.util.IllegalFormatException {
            /**
             * Constructs an instance of this class with the specified width.
             */
            // @ts-ignore
            constructor(w: number)
            /**
             * Returns the width
             */
            // @ts-ignore
            public getWidth(): number;
            // @ts-ignore
            public getMessage(): string;
        }
    }
}
