Original jEdit Documentation
  jedit-manual    jEdit 5.5 User's Guide
  jedit-changes   jEdit 5.5 Version History

