PROVIDE: jedit { "jedit.factor" "jedit.facts" } { } ;