Clothing repair and tailoring in DIVJAKA