NINJA-IDE Diff and Patch plugin