I tried JEdit like two years ago or so and found it to be an excellent editor, but that the startup time of approx. 10 seconds was unbearable. Have they fixed that yet?