declare namespace java {
    namespace util {
        namespace zip {
            // @ts-ignore
             class DataFormatException extends java.lang.Exception {
                /**
                 * Constructs a DataFormatException with no detail message.
                 */
                // @ts-ignore
                constructor()
                /**
                 * Constructs a DataFormatException with the specified detail message.
                 * A detail message is a String that describes this particular exception.
                 */
                // @ts-ignore
                constructor(s: string)
            }
        }
    }
}
