tree 5d313583a5258c4a313a9bb8c7893123fd415ca1
parent abecca9c60cecf03f308c85969b92fd43852bf43
author Jesse Wilson <jessewilson@google.com> 1311973399 -0400
committer Jesse Wilson <jessewilson@google.com> 1311973399 -0400

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

This was lost in a recent refactoring.

Change-Id: I31bc9cd5c4015135c4074d9b564edf5a9cc2ecd5