src/Tools/jEdit/src/plugin.scala
2011-06-08 ago moved sources -- eliminated Netbeans artifact of jedit package directory;