Buggy code:
public final class GIFFileFormat extends FileFormat { String signature ; int screenWidth ; int screenHeight ; int backgroundPixel ; int bitsPerPixel ; int defaultDepth ; int disposalMethod = 0 ; int delayTime = 0 ; int transparentPixel = - 1 ; int repeatCount = 1 ; static final int GIF_APPLICATION_EXTENSION_BLOCK_ID = 255 ; static final int GIF_GRAPHICS_CONTROL_BLOCK_ID = 249 ; static final int GIF_PLAIN_TEXT_BLOCK_ID = 1 ; static final int GIF_COMMENT_BLOCK_ID = 254 ; static final int GIF_EXTENSION_BLOCK_ID = 33 ; static final int GIF_IMAGE_BLOCK_ID = 44 ; static final int GIF_TRAILER_ID = 59 ; static final byte [ ] GIF89a = new byte [ ] { ( ( byte ) ( 'G' ) ) , ( ( byte ) ( 'I' ) ) , ( ( byte ) ( 'F' ) ) , ( ( byte ) ( '8' ) ) , ( ( byte ) ( '9' ) ) , ( ( byte ) ( 'a' ) ) } ; static final byte [ ] NETSCAPE2_0 = new byte [ ] { ( ( byte ) ( 'N' ) ) , ( ( byte ) ( 'E' ) ) , ( ( byte ) ( 'T' ) ) , ( ( byte ) ( 'S' ) ) , ( ( byte ) ( 'C' ) ) , ( ( byte ) ( 'A' ) ) , ( ( byte ) ( 'P' ) ) , ( ( byte ) ( 'E' ) ) , ( ( byte ) ( '2' ) ) , ( ( byte ) ( '.' ) ) , ( ( byte ) ( '0' ) ) } ; static PaletteData grayRamp ( int numGrays ) { } boolean isFileFormat ( LEDataInputStream stream ) { } ImageData [ ] loadFromByteStream ( ) { } int readID ( ) { } void getExtensions ( ) { } byte [ ] readExtension ( ) { } byte [ ] readCommentExtension ( ) { } byte [ ] readPlainTextExtension ( ) { } byte [ ] readGraphicsControlExtension ( ) { } byte [ ] readApplicationExtension ( ) { try { inputStream . read ( ) ; byte [ ] application = new byte [ 8 ] ; inputStream . read ( application ) ; byte [ ] authentication = new byte [ 3 ] ; inputStream . read ( authentication ) ; byte [ ] data = new byte [ 0 ] ; byte [ ] block = new byte [ 255 ] ; int size = inputStream . read ( ) ; while ( ( size > 0 ) && ( ( inputStream . read ( block , 0 , size ) ) != ( - 1 ) ) ) { byte [ ] oldData = data ; data = new byte [ ( oldData . length ) + size ] ; System . arraycopy ( oldData , 0 , data , 0 , oldData . length ) ; System . arraycopy ( block , 0 , data , oldData . length , size ) ; size = inputStream . read ( ) ; } boolean netscape = ( ( ( ( ( ( ( ( application [ 0 ] ) == 'N' ) && ( ( application [ 1 ] ) == 'E' ) ) && ( ( application [ 2 ] ) == 'T' ) ) && ( ( application [ 3 ] ) == 'S' ) ) && ( ( application [ 4 ] ) == 'C' ) ) && ( ( application [ 5 ] ) == 'A' ) ) && ( ( application [ 6 ] ) == 'P' ) ) && ( ( application [ 7 ] ) == 'E' ) ; <START_BUG> boolean authentic = ( ( ( authentication [ 0 ] ) == '2' ) && ( ( authentication [ 1 ] ) == '.' ) ) && ( ( authentication [ 7 ] ) == '0' ) ; <END_BUG> if ( ( netscape && authentic ) && ( ( data [ 0 ] ) == 1 ) ) { repeatCount = ( ( data [ 1 ] ) & 255 ) | ( ( ( data [ 2 ] ) & 255 ) << 8 ) ; loader . repeatCount = repeatCount ; } return data ; } catch ( Exception e ) { SWT . error ( ERROR_IO , e ) ; return null ; } } ImageData readImageBlock ( PaletteData defaultPalette ) { } PaletteData readPalette ( int numColors ) { } void unloadIntoByteStream ( ImageLoader loader ) { } void writeGraphicsControlBlock ( ImageData image ) { } void writePalette ( PaletteData palette , int depth ) { } }

Fix:
boolean authentic = ( ( ( authentication [ 0 ] ) == '2' ) && ( ( authentication [ 1 ] ) == '.' ) ) && ( ( authentication [ 2 ] ) == '0' ) ;