On Sat, Oct 1, 2016 at 10:52 PM, Jochen Theodorou <blackdrag@gmx.org> 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.