JUST (Java User Segmentation Tool) for semi-automatic segmentation of tomographic maps