final List collNew = new ArrayList( numMarkers );
MarkerStake m;
for( int i = 0; i < numMarkers; i++ ) {
m = (MarkerStake) source.markers.get( i, true );
// if( m.pos > prTotalSpan.start ) { // don't mirror to prTotalSpan.stop ?
collNew.add( m.replaceStart( prTotalSpan.stop - m.pos + prTotalSpan.start ));
// }
}
source.markers.clear( this );
source.markers.addAll( this, collNew );
}