add JEdit (which cannot be found on Maven) to our repo (mavenized)