On Sat, Oct 1, 2016 at 10:52 PM, Jochen Theodorou <[email protected]> wrote:
> On 02.10.2016 07:50, Jochen Theodorou wrote:
>
>> On 02.10.2016 02:57, John Wagenleitner wrote:
>> [...]
>>
>
> ah yes, I forgot:
>
> private void readObject(java.io.ObjectInputStream stream) throws
>> IOException, ClassNotFoundException {
>> if (ALLOW_RESOLVE) {
>> stream.defaultReadObject();
>> }
>> throw new UnsupportedOperationException();
>> }
>>
>
> is then the new version.
>
>
> bye Jochen
>
>
>
This change looks good to me.
