jsr-superclass.java

class UnmodifiableList<T> 
implements @Readonly List<@Readonly T> { 
    ... 
}