A diff tool based on java