Jedit source code