LabelingExt0:improved java doc (a bit)