src/Tools/jEdit/src/jedit_resources.scala
2014-03-18 ago clarifed module name;