Removing jedit tmp file