OVERVIEW OF CHANGES BETWEEN JEDIT 4.0 AND 4.1

Not yet written.
