Sharpening knives and tools in DIVJAKA