package tests;
public class NonGenericModelClassExampleBugSub extends NonGenericModelClassExampleBug {
/*@
public static model class IndexedContents extends NonGenericModelClassExampleBug.Contents {
public boolean foo() { return false; }
}
@*/
protected NonGenericModelClassExampleBugSub() {}
}