The jdiff library is a component from the JDiffPlugin by Andre Kaplan
available from http://plugins.jedit.org/plugins/JDiffPlugin under the GPL.
