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