declare namespace java {
    namespace rmi {
        // @ts-ignore
         class ServerException extends java.rmi.RemoteException {
            /**
             * Constructs a <code>ServerException</code> with the specified
             * detail message.
             */
            // @ts-ignore
            constructor(s: string)
            /**
             * Constructs a <code>ServerException</code> with the specified
             * detail message and nested exception.
             */
            // @ts-ignore
            constructor(s: string, ex: java.lang.Exception)
        }
    }
}
