// generates cast warning
ArrayList
<
Thing
>
things
=
(
ArrayList
<
Thing
>
)
ois
.
readObject
(
)
;