more jedit fixes