concept Entity > NamedConcept {
}

concept JavaObjectEntity<A> > Entity {
  A o;
}

concept TransientJavaObjectEntity<A> > JavaObjectEntity<A> is IPersistenceInfo {
  public Map _persistenceInfo() { ret litmap(o := false); }
}

concept PersistentJavaObjectEntity<A> > JavaObjectEntity<A> {
}