# javal v1.5 generated file: edit with care GifImageDecoder_L : module{    GifImageDecoder_obj : adt    {        cl_mod : ClassModule;        source : JObject;        input : JObject;        feeder : JThread;        aborted : byte;        finished : byte;        queue : JObject;        next : JObject;        store : JObject;        cancatchup : byte;        num_global_colors : int;        global_colormap : JArrayB;        trans_pixel : int;        global_model : JObject;        props : JObject;        saved_image : JArrayB;        saved_model : JObject;        global_width : int;        global_height : int;        global_bgpixel : int;        curframe : JObject;        prefix : JArrayS;        suffix : JArrayB;        outCode : JArrayB;    };     init : fn( jni_p : JNI );    parseImage_I_I_I_I_Z_I_aB_aB_rIndexColorModel_Z : fn( this : ref GifImageDecoder_obj, p0 : int,p1 : int,p2 : int,p3 : int,p4 : int,p5 : int,p6 : JArrayB,p7 : JArrayB,p8 : JObject) : int; };