package test

public trait JavaBeanAbstractGetter : java.lang.Object {
    public abstract fun getRed() : jet.Int
}