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