Fix potential short read.
Streams in general only guarantee 1 byte of data if they ever need to block.
@@ -549,7 +549,7 @@ public class AndroidCompiledDataDeserializer implements AndroidDataDeserializer
Preconditions.checkArgument(compiledFileStream.skipBytes(8) == 8);
byte[] file = new byte[resFileHeaderSize];
- compiledFileStream.read(file, 0, resFileHeaderSize);
+ compiledFileStream.readFully(file);
CompiledFile compiledFile = CompiledFile.parseFrom(file);
Path sourcePath = Paths.get(compiledFile.getSourcePath());
