Buggy code:
public class SevenZFile implements Closeable { static final int SIGNATURE_HEADER_SIZE = 32 ; private static final int DRAIN_BUF_SIZE = 64 * 1024 ; private RandomAccessFile file ; private final Archive archive ; private int currentEntryIndex = - 1 ; private int currentFolderIndex = - 1 ; private InputStream currentFolderInputStream = null ; private InputStream currentEntryInputStream = null ; private byte [ ] password ; static final byte [ ] sevenZSignature = new byte [ ] { ( ( byte ) ( '7' ) ) , ( ( byte ) ( 'z' ) ) , ( ( byte ) ( 188 ) ) , ( ( byte ) ( 175 ) ) , ( ( byte ) ( 39 ) ) , ( ( byte ) ( 28 ) ) } ; public SevenZFile ( final File filename , final byte [ ] password ) throws IOException { } public SevenZFile ( final File filename ) throws IOException { } public void close ( ) throws IOException { } public SevenZArchiveEntry getNextEntry ( ) throws IOException { } private Archive readHeaders ( byte [ ] password ) throws IOException { final byte [ ] signature = new byte [ 6 ] ; file . readFully ( signature ) ; if ( ! ( Arrays . equals ( signature , SevenZFile . sevenZSignature ) ) ) { throw new IOException ( "Bad<seq2seq4repair_space>7z<seq2seq4repair_space>signature" ) ; } final byte archiveVersionMajor = file . readByte ( ) ; final byte archiveVersionMinor = file . readByte ( ) ; if ( archiveVersionMajor != 0 ) { <START_BUG> throw new IOException ( String . format ( "Unsupported<seq2seq4repair_space>7z<seq2seq4repair_space>version<seq2seq4repair_space>(%d,%d)" , archiveVersionMajor , archiveVersionMinor ) ) ; <END_BUG> } final long startHeaderCrc = 4294967295L & ( Integer . reverseBytes ( file . readInt ( ) ) ) ; final StartHeader startHeader = readStartHeader ( startHeaderCrc ) ; final int nextHeaderSizeInt = ( ( int ) ( startHeader . nextHeaderSize ) ) ; if ( nextHeaderSizeInt != ( startHeader . nextHeaderSize ) ) { throw new IOException ( ( "cannot<seq2seq4repair_space>handle<seq2seq4repair_space>nextHeaderSize<seq2seq4repair_space>" + ( startHeader . nextHeaderSize ) ) ) ; } file . seek ( ( ( SevenZFile . SIGNATURE_HEADER_SIZE ) + ( startHeader . nextHeaderOffset ) ) ) ; final byte [ ] nextHeader = new byte [ nextHeaderSizeInt ] ; file . readFully ( nextHeader ) ; final CRC32 crc = new CRC32 ( ) ; crc . update ( nextHeader ) ; if ( ( startHeader . nextHeaderCrc ) != ( crc . getValue ( ) ) ) { throw new IOException ( "NextHeader<seq2seq4repair_space>CRC<seq2seq4repair_space>mismatch" ) ; } final ByteArrayInputStream byteStream = new ByteArrayInputStream ( nextHeader ) ; DataInputStream nextHeaderInputStream = new DataInputStream ( byteStream ) ; Archive archive = new Archive ( ) ; int nid = nextHeaderInputStream . readUnsignedByte ( ) ; if ( nid == ( NID . kEncodedHeader ) ) { nextHeaderInputStream = readEncodedHeader ( nextHeaderInputStream , archive , password ) ; archive = new Archive ( ) ; nid = nextHeaderInputStream . readUnsignedByte ( ) ; } if ( nid == ( NID . kHeader ) ) { readHeader ( nextHeaderInputStream , archive ) ; nextHeaderInputStream . close ( ) ; } else { throw new IOException ( "Broken<seq2seq4repair_space>or<seq2seq4repair_space>unsupported<seq2seq4repair_space>archive:<seq2seq4repair_space>no<seq2seq4repair_space>Header" ) ; } return archive ; } private StartHeader readStartHeader ( final long startHeaderCrc ) throws IOException { } private void readHeader ( final DataInput header , final Archive archive ) throws IOException { } private void readArchiveProperties ( final DataInput input ) throws IOException { } private DataInputStream readEncodedHeader ( final DataInputStream header , final Archive archive , byte [ ] password ) throws IOException { } private void readStreamsInfo ( final DataInput header , final Archive archive ) throws IOException { } private void readPackInfo ( final DataInput header , final Archive archive ) throws IOException { } private void readUnpackInfo ( final DataInput header , final Archive archive ) throws IOException { } private void readSubStreamsInfo ( final DataInput header , final Archive archive ) throws IOException { } private Folder readFolder ( final DataInput header ) throws IOException { } private BitSet readAllOrBits ( final DataInput header , final int size ) throws IOException { } private BitSet readBits ( final DataInput header , final int size ) throws IOException { } private void readFilesInfo ( final DataInput header , final Archive archive ) throws IOException { } private void calculateStreamMap ( final Archive archive ) throws IOException { } private void buildDecodingStream ( ) throws IOException { } private void drainPreviousEntry ( ) throws IOException { } private InputStream buildDecoderStack ( final Folder folder , final long folderOffset , final int firstPackStreamIndex ) throws IOException { } public int read ( ) throws IOException { } public int read ( byte [ ] b ) throws IOException { } public int read ( byte [ ] b , int off , int len ) throws IOException { } private static long readUint64 ( final DataInput in ) throws IOException { } }

Fix:
throw new IOException ( String . format ( "Unsupported<seq2seq4repair_space>7z<seq2seq4repair_space>version<seq2seq4repair_space>(%d,%d)" , Byte . valueOf ( archiveVersionMajor ) , Byte . valueOf ( archiveVersionMinor ) ) ) ;