private BatchPositionAugmenter batchPositionAugmenter = null;
public synchronized BatchPositionAugmenter getBatchPositionAugmenter() {
if (batchPositionAugmenter == null) {
batchPositionAugmenter = new BatchPositionAugmenter(getPositionsView(), getPositionsModel(), frame);
}
return batchPositionAugmenter;
}