Have any comments about jEdit?
We welcome any bug reports!