NonGenericModelClassExampleBug.java

package tests;

public class NonGenericModelClassExampleBug {
 
	/*@
    public static model class Contents {
          public boolean foo() { return true; }
      }
    @*/
    
    protected NonGenericModelClassExampleBug() {}
}