When reading from stdin redirect don't NullPointer at the end of the data
Merge pull request #15 from julianhyde/eof

When reading from stdin redirect don't NullPointer at the end of the dat...