Restore the 'final' bit on DataInputStream.read()

This was lost in a recent refactoring.

Change-Id: I31bc9cd5c4015135c4074d9b564edf5a9cc2ecd5
1 file changed