okay, fine. Make it final then, and make a comment.


On Fri, May 23, 2014 at 1:16 PM, Andrei Stefanescu <notifications@github.com
> wrote:

> In src/javasources/KTool/src/org/kframework/backend/java/kil/Variable.java:
>
> > @@ -160,13 +160,13 @@ public ASTNode accept(Transformer transformer) {
> >       * Renames serialized anonymous variables to avoid name clashes with existing anonymous
> >       * variables.
> >       */
> > -    private Object readResolve() {
> > +    Object readResolve() {
>
> This is actually a very tricky bug: readResolve is not called anywhere, it
> is used during java deserialization, and if marked public, it is not
> inherited by the subclasses of Variables.
>
> —
> Reply to this email directly or view it on GitHub<https://github.com/kframework/k/pull/493/files#r13012087>
> .
>