a version of jedit designed to work in lua wars