declare namespace java {
    namespace io {
        // @ts-ignore
         class OptionalDataException extends java.io.ObjectStreamException {
            // @ts-ignore
            public length: number;
            // @ts-ignore
            public eof: boolean;
        }
    }
}
