jEdit xml fix