declare namespace java {
    namespace lang {
        // @ts-ignore
         class ArithmeticException extends java.lang.RuntimeException {
            /**
             * Constructs an {@code ArithmeticException} with no detail
             * message.
             */
            // @ts-ignore
            constructor()
            /**
             * Constructs an {@code ArithmeticException} with the specified
             * detail message.
             */
            // @ts-ignore
            constructor(s: string)
        }
    }
}
