update JEdit