EOFException may be thrown during deserialization