Jesse Wilson a92e5a8a7c Restore the 'final' bit on DataInputStream.read()
This was lost in a recent refactoring.

Change-Id: I31bc9cd5c4015135c4074d9b564edf5a9cc2ecd5
2011-07-29 17:03:19 -04:00
..