Callbacks to Inner-classes are skipped in the generated averroes-lib-class.jar

[akshayutture]

Consider the following example

import java.util.*;

public class C{
        public static class B implements Comparable<B>{
                @Override
                public int compareTo(B st){
                        return 0;
                }
        }

        public static void main(String[] args){
                ArrayList<B> arr = new ArrayList<B>();
                arr.add(new B());
                arr.add(new B());
                Collections.sort(arr);
        }
}

When I run Averroes, the call to "compareTo" is missing in the generated averroes-lib-class.jar
I think it is an issue with inner classes because the call to "compareTo" is present when I run a similar example without inner classes.

[karimhamdanali]

noted, and I will add to the list of issues that I will work on for the upcoming 1-2 weeks. Thanks @akshayutture for raising those issues! Much appreciated.