Extracted all changes from jEdit