update jedit tools