import jalview.datamodel.Mapping;
//JBPComment: this is a datamodel API - so it should be in datamodel (it's a peer of SequenceI)
import jalview.datamodel.Mapping;
//JBPComment: this is a datamodel API - so it should be in datamodel (it's a peer of SequenceI)