Java ZipInputStream не читает весь ZipEntry

Question

Я пытаюсь прочитать файл XML из архива ZIP. Соответствующий код ниже:

ZipInputStream zis = new ZipInputStream(is);
ZipEntry entry = zis.getNextEntry();
while(entry != null) {
    if(entry.getName().equals("plugin.xml")) {
        int size = (int)entry.getSize();
        byte[] bytes = new byte[size];
        int read = zis.read(bytes, 0, size);

        System.out.println("File size: " + size);
        System.out.println("Bytes read: " + read);
    }
}

Это при работе выдает следующий результат:

File size: 5224
Bytes read: 5224

plugin.xml читаемый файл не является чем-то особенным и проходит любую проверку XML, которую я могу найти, однако незначительные изменения в файле XML (удаление символов, добавление символов и т. д.) иногда вызывают ситуацию, когда "чтение байтов" из входного потока меньше чем размер файла. В этом случае я изменил текстовое значение атрибута XML того же файла, что и выше, и получил следующий результат:

File size: 5218
Bytes read: 5205 // the reader stopped early!

Я не вижу никакой картины, с точки зрения того, какие XML-файлы будут работать, а какие нет. Кажется, это совершенно случайно.

Кто-нибудь сталкивался с чем-то подобным раньше?

Изменить: забыл упомянуть, код Java, который читает в plugin.xml файл встроен в готовое приложение, которое я не могу изменить. Моя проблема пытается понять, почему он не принимает мой XML-файл в некоторых случаях.

Answer 1

Где это сказано InputStream.read()или любая из его реализаций или переопределений заполняет буфер? Проверьте Javadoc. Что на самом деле говорит о том, что read() либо возвращает -1, указывая EOS, либо считывает по крайней мере один байт в буфер. Вы должны зациклить.

Answer 2

Как упоминалось ранее, вам нужно использовать цикл. Мне нужно было решить именно эту проблему, поэтому я решил опубликовать пример.

ZipInputStream zis = new ZipInputStream(is);
ZipEntry entry = zis.getNextEntry();
while(entry != null) {
    if(entry.getName().equals("plugin.xml")) {
        int size = (int)entry.getSize();
        byte[] bytes = new byte[size];
        int read = 0;
        while (read < size) {
            read += zis.read(bytes, read, (size - read));
        }

        System.out.println("File size: " + size);
        System.out.println("Bytes read: " + read);
    }
}