My patch was committed to jEdit, cool.

I was looking through the source code for the latest version (23.0) of Crafty recently. It is a CPU and time sensitive program, so I ran gprof on it to see what it spent its time on. About 85% of the time was spent calling ValidatePosition(), which didn't seem to be doing anything of importance. I looked around a little bit and saw this was happening because the Makefile's -DDEBUG flag was on by default for a make linux, and that this was not well documented (it's not there by default for 22.9). I suspect that the flag was left in there by error before it was packaged for release. Anyhow, I sent them off a note.