my jEdit scripts and probably patches